688 search results - page 107 / 138 » Computational Methods for Verification of Stochastic Hybrid ... |
CVPR
2007
IEEE
14 years 9 months ago
2007
IEEE
In this paper, we present a large-scale object retrieval system. The user supplies a query object by selecting a region of a query image, and the system returns a ranked list of i...
RTSS
2005
IEEE
14 years 1 months ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
COLING
2010
13 years 2 months ago
2010
There has been relatively little work focused on determining the formality level of individual lexical items. This study applies information from large mixedgenre corpora, demonst...
ICTAI
2010
IEEE
13 years 5 months ago
2010
IEEE
We introduce a new plan repair method for problems cast as Mixed Integer Programs. In order to tackle the inherent complexity of these NP-hard problems, our approach relies on the ...
DALT
2010
Springer
13 years 2 months ago
2010
Springer
Social reasoning theories, whilst studied extensively in the area of multiagent systems, are hard to implement directly in agents. They often specify properties of beliefs or behav...