7988 search results - page 186 / 1598 » A Useful Undecidable Theory |
173
Voted
LICS
2012
IEEE
13 years 7 months ago
2012
IEEE
—Interactive theorem provers based on higher-order logic (HOL) traditionally follow the definitional approach, reducing high-level specifications to logical primitives. This al...
138
click to vote
ICCV
2003
IEEE
16 years 7 months ago
2003
IEEE
In this paper, we present a mathematical theory for Marr's primal sketch. We first conduct a theoretical study of the descriptive Markov random field model and the generative...
170
click to vote
ICPR
2002
IEEE
16 years 6 months ago
2002
IEEE
We present the theory behind a novel unsupervised method for discovering quasi-static objects, objects that are stationary during some interval of observation, within image sequen...
144
click to vote
SASO
2007
IEEE
15 years 11 months ago
2007
IEEE
The study of synchronization has received much attention in a variety of applications, ranging from coordinating sensors in wireless networks to models of fireflies flashing in...
149
click to vote
COLT
2007
Springer
15 years 11 months ago
2007
Springer
Property testing deals with tasks where the goal is to distinguish between the case that an object (e.g., function or graph) has a prespecified property (e.g., the function is li...