1247 search results - page 91 / 250 » Reasoning about Function Objects |
102
click to vote
LICS
2010
IEEE
14 years 8 months ago
2010
IEEE
Stream circuits are a convenient graphical way to represent streams (or stream functions) computed by finite dimensional linear systems. We present a sound and complete expression...
AMR
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Extraction of visual descriptors is a crucial problem for stateof-the-art visual information analysis. In this paper, we present a knowledgebased approach for detection o...
CRV
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper presents a spatial-semantic modeling system featuring automated learning of object-place relations from an online annotated database, and the application of these relat...
100
click to vote
POPL
2012
ACM
13 years 5 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
AAAI
2007
15 years 11 days ago
2007
We consider the problem of computing optimal schedules in multi-agent systems. In these problems, actions of one agent can influence the actions of other agents, while the object...