4987 search results - page 235 / 998 » Support Ordered Resolution |
262
click to vote
CADE
2011
Springer
14 years 4 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
153
click to vote
ICALT
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we present our pedagogical and technological approach for supporting the design of novel situated learning activities that can be conducted both, outside the school ...
155
click to vote
IAT
2009
IEEE
15 years 7 months ago
2009
IEEE
—Users increasingly manage their home and work collaborations by exploiting online applications. However, they have to deal with a fragmented view of their workspaces, because ea...
130
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
Studies support the need for high resolution imagery to identify persons in surveillance videos[13]. However, the use of telephoto lenses sacrifices a wider field of view and ther...
121
click to vote
BIRTHDAY
1991
Springer
15 years 8 months ago
1991
Springer
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...