11051 search results - page 141 / 2211 » An Investigation of Generalized Cases |
CDC
2008
IEEE
14 years 5 months ago
2008
IEEE
This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. To that end, we first sho...
LICS
2008
IEEE
14 years 5 months ago
2008
IEEE
This paper is an investigation of the matching problem for term equations s = t where s contains context variables, and both terms s and t are given using some kind of compressed ...
ATAL
2007
Springer
14 years 5 months ago
2007
Springer
Interdependent values (IDV) is a valuation model allowing bidders in an auction to express their value for the item(s) to sell as a function of the other bidders’ information. W...
ICMCS
2006
IEEE
14 years 4 months ago
2006
IEEE
In this paper we present a novel method on how to take advantage of the snake representation of target objects, when doing chamfer matching for detection/recognition purposes. In ...
ACIVS
2006
Springer
14 years 4 months ago
2006
Springer
In general, the less probable an event, the more attention we pay to it. Likewise, considering visual perception, it is interesting to regard important image features as those that...