7040 search results - page 225 / 1408 » The Single Model Principle |
203
click to vote
PAMI
2008
15 years 6 months ago
2008
Standard 3D imaging systems process only a single return at each pixel from an assumed single opaque surface. However, there are situations when the laser return consists of multip...
161
click to vote
LICS
2006
IEEE
16 years 16 days ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
132
click to vote
ICMCS
2006
IEEE
16 years 17 days ago
2006
IEEE
Object tracking plays an important role in multimedia surveillance systems, in which the major types of data are video and audio captured by cameras and microphone arrays. In this...
166
click to vote
ISMAR
2002
IEEE
15 years 11 months ago
2002
IEEE
There is a problem in the spatial and temporal separation between the varying forms of representation used in urban design. Sketches, physical models, and more recently computatio...
174
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
In this note we consider the following decision problems. Let be a fixed first-order signature. (i) Given a first-order theory or ground theory T over of Turing degree , a program...