2316 search results - page 229 / 464 » The many forms of hypercomputation |
173
click to vote
PAIRING
2007
Springer
16 years 18 days ago
2007
Springer
A series of recent algorithmic advances has delivered highly effective methods for pairing evaluation and parameter generation. However, the resulting multitude of options means m...
164
click to vote
PEPM
2007
ACM
16 years 18 days ago
2007
ACM
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...
154
click to vote
SAT
2007
Springer
16 years 18 days ago
2007
Springer
In this paper a new circuit sat based encoding of boolean formula is proposed. It makes an original use of the concept of restrictive models introduced by Boufkhad to polynomially ...
166
click to vote
VLDB
2007
ACM
16 years 17 days ago
2007
ACM
This paper reports our first set of results on managing uncertainty in data integration. We posit that data-integration systems need to handle uncertainty at three levels, and do...
179
click to vote
3DPVT
2006
IEEE
16 years 16 days ago
2006
IEEE
This paper introduces a novel method for surface reconstruction using the depth discontinuity information captured by a multi-flash camera while the object moves along a known tr...