233 search results - page 24 / 47 » An Existential Locality Theorem |
CSL
2009
Springer
14 years 16 days ago
2009
Springer
My talk will be a survey of recent results about the quest for a logic capturing polynomial time. In a fundamental study of database query languages, Chandra and Harel [4] first ra...
APAL
2010
13 years 8 months ago
2010
We study the theory of lovely pairs of geometric structures, in particular o-minimal structures. We characterize "linear" theories in terms of properties of the correspon...
ISLPED
2003
ACM
14 years 1 months ago
2003
ACM
Distributed wireless ad-hoc networks (DWANs) pose numerous technical challenges. Among them, two are widely considered as crucial: autonomous localized operation and minimization ...
MICCAI
2005
Springer
14 years 9 months ago
2005
Springer
In this work we address the uncertainty associated with fiber paths obtained in white matter fiber tractography. This uncertainty, which arises for example from noise and partial v...
SMA
2009
ACM
14 years 3 months ago
2009
ACM
A key problem when interpolating a network of curves occurs at vertices: an algebraic condition called the vertex enclosure constraint must hold wherever an even number of curves ...