2778 search results - page 493 / 556 » Limit complexities revisited |
164
click to vote
TABLEAUX
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...
201
click to vote
AFRIGRAPH
2004
ACM
15 years 11 months ago
2004
ACM
We describe techniques for exploring 3D scenes by combining non-linear projections with the interactive data mining of camera navigations from previous explorations. Our approach ...
177
click to vote
MMSEC
2004
ACM
15 years 11 months ago
2004
ACM
Watermarking of 3D meshes has received a limited attention due to the difficulties encountered in extending the algorithms developed for 1D (audio) and 2D (images and video) signa...
170
click to vote
MOBICOM
2004
ACM
15 years 11 months ago
2004
ACM
We present MobiDesk, a mobile virtual desktop computing hosting infrastructure that leverages continued improvements in network speed, cost, and ubiquity to address the complexity...
199
click to vote
UIST
2004
ACM
15 years 11 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...