4573 search results - page 762 / 915 » Automated Reasoning |
125
click to vote
GIS
2006
ACM
15 years 3 months ago
2006
ACM
This paper tackles a major privacy threat in current location-based services where users have to report their exact locations to the database server in order to obtain their desir...
202
Voted
CSL
2012
Springer
13 years 11 months ago
2012
Springer
Reinforcement techniques have been successfully used to maximise the expected cumulative reward of statistical dialogue systems. Typically, reinforcement learning is used to estim...
265
click to vote
CL
2012
Springer
13 years 5 months ago
2012
Springer
In object-oriented systems, runtime memory is composed of an object graph in which objects refer to other objects. This graph of objects evolves while the system is running. Graph...
161
Voted
LICS
2012
IEEE
13 years 5 months ago
2012
IEEE
Abstract—We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying ...
152
Voted
WIAMIS
2009
IEEE
15 years 10 months ago
2009
IEEE
In this work a framework for constructing object detection classifiers using weakly annotated social data is proposed. Social information is combined with computer vision techniq...