Sciweavers

762 search results - page 131 / 153
» Two Approaches to Merging Knowledge Bases
Sort
View
JSS
2010
107views more  JSS 2010»
13 years 9 months ago
An empirical investigation into branch coverage for C programs using CUTE and AUSTIN
Automated test data generation has remained a topic of considerable interest for several decades because it lies at the heart of attempts to automate the process of Software Testi...
Kiran Lakhotia, Phil McMinn, Mark Harman
OOPSLA
2010
Springer
13 years 9 months ago
Parallel inclusion-based points-to analysis
Inclusion-based points-to analysis provides a good trade-off between precision of results and speed of analysis, and it has been incorporated into several production compilers inc...
Mario Méndez-Lojo, Augustine Mathew, Keshav...
SIAMSC
2010
132views more  SIAMSC 2010»
13 years 9 months ago
New Algorithms for Optimal Online Checkpointing
Frequently, the computation of derivatives for optimizing time-dependent problems is based on the integration of the adjoint differential equation. For this purpose, the knowledge...
Philipp Stumm, Andrea Walther
IJRR
2010
173views more  IJRR 2010»
13 years 5 months ago
Multi-modal Semantic Place Classification
The ability to represent knowledge about space and its position therein is crucial for a mobile robot. To this end, topological and semantic descriptions are gaining popularity fo...
Andrzej Pronobis, Óscar Martínez Moz...
MLMI
2005
Springer
14 years 4 months ago
Can Chimeric Persons Be Used in Multimodal Biometric Authentication Experiments?
Combining multiple information sources, typically from several data streams is a very promising approach, both in experiments and to some extents in various real-life applications....
Norman Poh, Samy Bengio