1650 search results - page 159 / 330 » The HOM problem is decidable |
180
click to vote
STOC
2010
ACM
15 years 8 months ago
2010
ACM
Consider the following two-player communication process to decide a language L: The first player holds the entire input x but is polynomially bounded; the second player is computa...
111
click to vote
IJCAI
1989
15 years 5 months ago
1989
Intelligent reasoners sometimes draw conclusions that lack new or relevant information. Similarly, automated reasoning systems can produce formulas that are not necessary for the ...
120
click to vote
CVPR
2006
IEEE
16 years 6 months ago
2006
IEEE
We consider the important challenge of recognizing a variety of deformable object classes in images. Of fundamental importance and particular difficulty in this setting is the pro...
138
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
Tracking of deformable objects like humans is a basic operation in many surveillance applications. Objects are detected as they enter the field of view of the camera and they are ...
121
click to vote
SIGMOD
2003
ACM
16 years 4 months ago
2003
ACM
We present an update on the status of the Cougar Sensor Database Project, in which we are investigating a database approach to sensor networks: Clients "program" the sen...