1822 search results - page 109 / 365 » The Method of Assigning Incidences |
163
click to vote
JFR
2007
15 years 4 months ago
2007
Urban Search And Rescue (USAR) is a time critical task. Rescue teams have to explore a large terrain within a short amount of time in order to locate survivors after a disaster. O...
147
click to vote
ICIP
2009
IEEE
16 years 5 months ago
2009
IEEE
Face recognition has many important practical applications, like surveillance and access control. It is concerned with the problem of correctly identifying face images and assigni...
120
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
We consider proof systems for effectively propositional logic. First, we show that propositional resolution for effectively propositional logic may have exponentially longer refuta...
121
click to vote
ICCD
2004
IEEE
16 years 1 months ago
2004
IEEE
Potential slack is an effective metric of circuit’s possible performance improvement. It is equal to the maximal amount of slack that can be potentially used for optimization. I...
138
click to vote
TYPES
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Proof erasure plays an essential role in the paradigm of programming with theorem proving. In this paper, we introduce a form of attributive types that carry an attribute...