972 search results - page 84 / 195 » Reasoning with Conditional Time-Intervals |
BIRTHDAY
2010
Springer
13 years 9 months ago
2010
Springer
In the early 1920s, Pavel Urysohn proved his famous lemma (sometimes referred to as "first non-trivial result of point set topology"). Among other applications, this lemm...
CCIA
2009
Springer
13 years 9 months ago
2009
Springer
General object recognition in mobile robots is of primary importance in order to enhance the representation of the environment that robots will use for their reasoning processes. T...
ECAI
2008
Springer
13 years 8 months ago
2008
Springer
Many forms of reasoning about actions and planning can be reduced to regression, the computation of the weakest precondition a state has to satisfy to guarantee the satisfaction of...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
ECCV
1994
Springer
14 years 9 months ago
1994
Springer
A face recognition system must recognize a face from a novel image despite the variations between images of the same face. A common approach to overcoming image variations because...