943 search results - page 37 / 189 » Virtual First-Order Structure |
116
click to vote
LICS
2000
IEEE
15 years 7 months ago
2000
IEEE
We provide a general method for ameliorating state explosion via symmetry reduction in certain asymmetric systems, such as systems with many similar, but not identical, processes....
138
click to vote
ECCV
2004
Springer
16 years 4 months ago
2004
Springer
Abstract. We present a new technique to recover the shape of an unknown smooth specular surface from a single image. A calibrated camera faces a specular surface reflecting a calib...
146
Voted
JMLR
2010
14 years 9 months ago
2010
Inducing a grammar from text has proven to be a notoriously challenging learning task despite decades of research. The primary reason for its difficulty is that in order to induce...
87
Voted
ISBI
2002
IEEE
16 years 3 months ago
2002
IEEE
Confocal microscopes have recently allowed biologists and biomedical researchers to obtain time dependent 3D data sets of biological objects, such as cells and tissues. Scientific...
109
Voted
ICDCS
2007
IEEE
15 years 8 months ago
2007
IEEE
— We introduce a virtual-node based mobile object tracking algorithm for mobile sensor networks, VINESTALK. The algorithm uses the Virtual Stationary Automata programming layer, ...