1420 search results - page 253 / 284 » Multi-point Constructive Search |
113
click to vote
RTA
2005
Springer
15 years 7 months ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
147
click to vote
UIST
2004
ACM
15 years 7 months ago
2004
ACM
We present SketchREAD, a multi-domain sketch recognition engine capable of recognizing freely hand-drawn diagrammatic sketches. Current computer sketch recognition systems are dif...
124
click to vote
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
Agent theories and agent programs are two very different styles of specification of agent behavior. The former are declarative in nature, while the latter have an imperative fl...
137
click to vote
WEBDB
2010
Springer
15 years 7 months ago
2010
Springer
An important requirement for emerging applications which aim to locate and integrate content distributed over the Web is to identify pages that are relevant for a given domain or ...
120
click to vote
SIGGRAPH
2010
ACM
15 years 6 months ago
2010
ACM
Systems such as Google Street View and Bing Maps Streetside enable users to virtually visit cities by navigating between immersive 360◦ panoramas, or bubbles. The discrete moves...