Sciweavers

50 search results - page 6 / 10
» Bidirectional Contextual Resolution
Sort
View
JAIR
2006
128views more  JAIR 2006»
15 years 10 days ago
Cognitive Principles in Robust Multimodal Interpretation
Multimodal conversational interfaces provide a natural means for users to communicate with computer systems through multiple modalities such as speech and gesture. To build effect...
Joyce Yue Chai, Zahar Prasov, Shaolin Qu
89
Voted
ICDAR
2007
IEEE
15 years 6 months ago
A Multi-Agent System for Hand-drawn Diagram Recognition
In this paper we present AgentSketch, an agentbased system for on-line recognition of hand-drawn diagrams. Agents are used for managing the activity of symbol recognizers and for ...
Giovanni Casella, Vincenzo Deufemia, Viviana Masca...
POPL
2004
ACM
16 years 20 days ago
Tridirectional typechecking
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
Joshua Dunfield, Frank Pfenning
139
Voted
RIVF
2007
15 years 1 months ago
On-line Boosting for Car Detection from Aerial Images
— In this paper, we present a new approach for automatic car detection from aerial images. The system exploits a robust machine learning method known as boosting for efficient c...
Thuy Thi Nguyen, Helmut Grabner, Horst Bischof, B....
POPL
2012
ACM
13 years 8 months ago
Programming with binders and indexed data-types
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
Andrew Cave, Brigitte Pientka