886 search results - page 128 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
126
click to vote
TLDI
2009
ACM
15 years 10 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
104
click to vote
CAV
2009
Springer
15 years 8 months ago
2009
Springer
The DPLL approach to the Boolean satisfiability problem (SAT) is a combination of search for a satisfying assignment and logical deduction, in which each process guides the other....
114
click to vote
ICPR
2006
IEEE
16 years 2 months ago
2006
IEEE
We propose an object detection method using particle filters. Our approach estimates the probability of object presence in the current image given the history of observations up t...
103
Voted
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
A standard fMRI experiment is structured around the assumption that onset of relevant neural activity occurs almost immediately after external stimulus. Introducing deliberate len...
140
click to vote
PAMI
2012
13 years 3 months ago
2012
—We present an algorithm that simultaneously calibrates two color cameras, a depth camera, and the relative pose between them. The method is designed to have three key features: ...