2586 search results - page 105 / 518 » Automatic Abstraction for Congruences |
ACML
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In experimental design, a standard approach for distinguishing experimentally induced effects from unwanted effects is to design control measurements that differ only ...
OTM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The ongoing trend towards open data embraced by the Semantic Web has started to produce a large number of data sources. These data sources are published using RDF vocabul...
RAID
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In order to detect a compromise of a running process based on it deviating from its program’s normal system-call behavior, an anomaly detector must first be trained wi...
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— We describe a fast method to relocalise a monocular visual SLAM (Simultaneous Localisation and Mapping) system after tracking failure. The monocular SLAM system stores ...
SEFM
2006
IEEE
15 years 4 months ago
2006
IEEE
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...