11051 search results - page 141 / 2211 » An Investigation of Generalized Cases |
114
Voted
CDC
2008
IEEE
15 years 7 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...
93
Voted
LICS
2008
IEEE
15 years 7 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 ...
86
Voted
ATAL
2007
Springer
15 years 6 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
15 years 6 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 ...
69
Voted
ACIVS
2006
Springer
15 years 6 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...