15073 search results - page 172 / 3015 » Probabilistic algorithms for computing resultants |
133
Voted
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
123
Voted
AAAI
2000
15 years 5 months ago
2000
The main problem of planning is to find a sequence of actions that an agent must perform to achieve a given objective. An important part of planning is checking whether a given pl...
159
Voted
SIGMETRICS
2002
ACM
15 years 3 months ago
2002
ACM
Scalable resource discovery services form the core of directory and other middleware services. Scalability requirements preclude centralized solutions. The need to have directory ...
146
Voted
UIC
2009
Springer
15 years 10 months ago
2009
Springer
Social networking has provided powerful new ways to find people, organize groups, and share information. Recently, the potential functionalities of the ubiquitous infrastructure le...
139
Voted
EMMCVPR
2005
Springer
15 years 9 months ago
2005
Springer
We present a novel approach to the matching of subgraphs for object recognition in computer vision. Feature similarities between object model and scene graph are complemented with ...