7335 search results - page 1250 / 1467 » Scene Based Reasoning |
178
click to vote
IBPRIA
2009
Springer
15 years 10 months ago
2009
Springer
Hyperspectral remote sensing provides data in large amounts from a wide range of wavelengths in the spectrum and the possibility of distinguish subtle differences in the image. For...
170
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
160
click to vote
AI
2006
Springer
15 years 10 months ago
2006
Springer
So far, most equilibrium concepts in game theory require that the rewards and actions of the other agents are known and/or observed by all agents. However, in real life problems, a...
181
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
160
click to vote
ASIACRYPT
2006
Springer
15 years 10 months ago
2006
Springer
Pseudorandom Generators (PRGs) based on the RSA inversion (one-wayness) problem have been extensively studied in the literature over the last 25 years. These generators have the a...