2173 search results - page 192 / 435 » Building computer models from small pieces |
161
click to vote
AUTOMATICA
2008
15 years 4 months ago
2008
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models ar...
154
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
Non-rigid registration is central to many problems in computer vision and medical image analysis. We propose a registration algorithm which is regularized by prior knowledge in th...
135
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...
130
Voted
SAT
2005
Springer
15 years 9 months ago
2005
Springer
We introduce ApproxCount, an algorithm that approximates the number of satisfying assignments or models of a formula in propositional logic. Many AI tasks, such as calculating degr...
110
click to vote
SP
2008
IEEE
15 years 4 months ago
2008
IEEE
We present a novel eavesdropping technique for spying at a distance on data that is displayed on an arbitrary computer screen, including the currently prevalent LCD monitors. Our ...