11051 search results - page 141 / 2211 » An Investigation of Generalized Cases |
177
click to vote
CDC
2008
IEEE
16 years 28 days 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...
159
click to vote
LICS
2008
IEEE
16 years 26 days 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 ...
145
click to vote
ATAL
2007
Springer
16 years 19 days 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...
158
click to vote
ICMCS
2006
IEEE
16 years 15 days 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 ...
128
click to vote
ACIVS
2006
Springer
16 years 13 days 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...