Sciweavers

50 search results - page 6 / 10
» Bidirectional Contextual Resolution
Sort
View
JAIR
2006
128views more  JAIR 2006»
13 years 6 months 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
ICDAR
2007
IEEE
14 years 1 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
14 years 7 months 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
RIVF
2007
13 years 8 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
12 years 2 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