4325 search results - page 245 / 865 » Incremental computation with names |
189
click to vote
DISOPT
2008
15 years 6 months ago
2008
The paper is concerned with the computational evaluation and comparison of a new family of conflict-based branching heuristics for evolved DPLL Satisfiability solvers. Such a fami...
186
click to vote
CGF
2006
15 years 6 months ago
2006
We propose a novel surface remeshing algorithm. While many remeshing algorithms are based on global parametrization or local mesh optimization, our algorithm is closely related to...
179
click to vote
DEDS
2006
15 years 6 months ago
2006
The diagnosis of unobservable faults in large and complex discrete event systems modeled by parallel composition of automata is considered. A modular approach is developed for diag...
214
click to vote
JDCTA
2008
15 years 6 months ago
2008
Due to the ever-growing usage of the computer, it has led to a rapid increment in the data that is being exchanged, published and stored in an assortment of digital form. This phe...
193
click to vote
JMM2
2008
15 years 6 months ago
2008
In this paper a new marker-based approach is presented for 3D camera pose tracking in indoor Augmented Reality (AR). We propose to combine a circular fiducials detection technique ...