916 search results - page 123 / 184 » Using redundancies to find errors |
SIGSOFT
2006
ACM
15 years 10 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
RECOMB
2006
Springer
15 years 10 months ago
2006
Springer
We study the problem of enumerating substrings that are common amongst genomes that share evolutionary descent. For example, one might want to enumerate all identical (therefore co...
113
click to vote
SENSYS
2010
ACM
14 years 7 months ago
2010
ACM
Frequency overlap across wireless networks with different radio technologies can cause severe interference and reduce communication reliability. The circumstances are particularly...
188
click to vote
ICDE
2009
IEEE
15 years 11 months ago
2009
IEEE
The popularity of location-based services and the need to do real-time processing on them has led to an interest in performing queries on transportation networks, such as finding s...
MICCAI
2003
Springer
2003
Springer
Iterating Registration and Activation Detection to Overcome Activation Bias in fMRI Motion Estimates
15 years 10 months ago
Abstract. Most intensity-based fMRI registration methods do not account for the fact that the volumes being aligned may differ: one may have blood oxygen level dependent (BOLD) con...