283 search results - page 11 / 57 » Error Detection Using BMC in a Parallel Environment |
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Model checkers search the space of possible program behaviors to detect errors and to demonstrate their absence. Despite major advances in reduction and optimization techniques, s...
ICRA
2009
IEEE
13 years 5 months ago
2009
IEEE
Mapping opaque and confined environments such as caves and pipes is a challenging problem for mobile robots because sensor information is severely limited to the immediate proximit...
AAAI
2007
13 years 10 months ago
2007
reason with abstracted models of the behaviours they use to construct plans. When plans are turned into the instructions that drive an executive, the real behaviours interacting w...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract - In this paper, we have developed not only a probabilistic sound localization system including VAD (Voice Activity Detection) component using three microphones but also a...
BMCBI
2004
13 years 7 months ago
2004
Background: The detection of small yet statistically significant differences in gene expression in spotted DNA microarray studies is an ongoing challenge. Meeting this challenge r...