Result 61 to 80 of 275 total
Automated method induction: functional goes object oriented (English)
AAIP, 159-173 (2009).
61
Porting igorii from maude to haskell (English)
AAIP, 140-158 (2009).
62
"Carbon credits" for resource-bounded computations using amortised analysis (English)
FM, 354-369 (2009).
63
An enhanced data mining life cycle (English)
CIDM, 109-117 (2009).
64
Relational semantics for effect-based program transformations: higher-order store (English)
PPDP, 301-312 (2009).
65
Learning similarity measure for multi-modal 3D image registration (English)
CVPR, 186-193 (2009).
66
Multi-view 3D human pose estimation combining single-frame recovery, temporal integration and model adaptation (English)
CVPR, 2214-2221 (2009).
67
A concept for applying VR and AR technologies to support efficient 3D non-contact model digitalization (English)
VR, 257-258 (2009).
68
Pointer programs and undirected reachability (English)
LICS, 133-142 (2009).
69
Experience-based orchestration of services in SAP enterprise SOA (English)
SWWS, 147-153 (2009).
70
Efficient type-checking for amortised heap-space analysis (English)
CSL, 317-331 (2009).
71
Fine-grained data distribution operations for particle codes (English)
PVM/MPI, 54-63 (2009).
72
Evolutionary programming guided by analytically generated seeds (English)
IJCCI, 198-203 (2009).
73
Overview. (English)
Bell Labs Tech. J. 13, No. 3, 1-4 (2008).
74
Pointer programs and undirected reachability. (English)
Electron. Colloq. Comput. Complex. 15, No. 090 (2008).
75
Certification using the Mobius base logic. (English)
de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24‒26, 2007. Revised lectures. Berlin: Springer (ISBN 978-3-540-92187-5/pbk). Lecture Notes in Computer Science 5382, 25-51 (2008).
76
Performance measurements and analysis of the BlueGene/L MPI implementation. (English)
Bischof, Christian (ed.) et al., Parallel computing: Architectures, algorithms and applications. Selected papers based on the presentations at the international parallel computing conference (ParCo 2007), Aachen, Germany, September 4‒7, 2007. Amsterdam: IOS Press (ISBN 978-1-58603-796-3/hbk). Advances in Parallel Computing 15, 405-412 (2008).
77
Nominal renaming sets. (English)
Cervesato, Iliano (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 15th international conference, LPAR 2008, Doha, Qatar, November 22‒27, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89438-4/pbk). Lecture Notes in Computer Science 5330. Lecture Notes in Artificial Intelligence, 158-173 (2008).
78
Pure pointer programs with iteration. (English)
Kaminski, Michael (ed.) et al., Computer science logic. 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16‒19, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87530-7/pbk). Lecture Notes in Computer Science 5213, 79-93 (2008).
79
Analysis and evaluation of inductive programming systems in a higher-order framework. (English)
Dengel, Andreas R. (ed.) et al., KI 2008: Advances in artificial intelligence. 31st annual German conference on AI, KI 2008, Kaiserslautern, Germany, September 23‒26, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85844-7/pbk). Lecture Notes in Computer Science 5243. Lecture Notes in Artificial Intelligence, 78-86 (2008).
80
Result 61 to 80 of 275 total
Start
Contact
Print
General Help
