2056 search results - page 365 / 412 » Detecting Errors in Spreadsheets |
101
click to vote
TAP
2010
Springer
14 years 7 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
107
click to vote
CDC
2009
IEEE
14 years 7 months ago
2009
IEEE
Abstract-- We consider problems where multiple agents cooperate to control their individual state so as to optimize a common objective while communicating with each other to exchan...
ICCV
2009
IEEE
14 years 7 months ago
2009
IEEE
We introduce a dynamical model for simultaneous registration and segmentation in a variational framework for image sequences, where the dynamics is incorporated using a Bayesian f...
ICDAR
2009
IEEE
14 years 7 months ago
2009
IEEE
After the handwritten segmentation process, it is common to have connected digits. This is due to the great size and shape digit variations. In addition, the acquisition and the b...
ICRA
2009
IEEE
14 years 7 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...