20441 search results - page 499 / 4089 » Locally Computable Structures |
182
click to vote
FROCOS
2009
Springer
15 years 10 months ago
2009
Springer
In recent years, the problem of extracting a MUS (Minimal Unsatisfiable Subformula) from an unsatisfiable CNF has received much attention. Indeed, when a Boolean formula is proved ...
197
click to vote
IJBC
2008
15 years 6 months ago
2008
The localization of critical parameter sets called bifurcations is often a central task of the analysis of a nonlinear dynamical system. Bifurcations of codimension 1 that can be ...
207
click to vote
IJCV
2010
15 years 5 months ago
2010
We develop a computational model of shape that extends existing Riemannian models of shape of curves to multidimensional objects of general topological type. We construct shape sp...
204
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
In recent years, local pattern based object detection and recognition have attracted increasing interest in computer vision research community. However, to our best knowledge no p...
162
click to vote
ICDCS
2005
IEEE
16 years 13 days ago
2005
IEEE
The process of computing the physical locations of nodes in a wireless sensor network is known as localization. Selflocalization is critical for large-scale sensor networks becaus...