559 search results - page 25 / 112 » Sketching Information Divergences |
ICDAR
2007
IEEE
15 years 6 months ago
2007
IEEE
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 ...
TYPES
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents a new proof language for the Coq proof assistant. This language uses the declarative style. It aims at providing a simple, natural and robust alternative to the...
ISAAC
2005
Springer
15 years 5 months ago
2005
Springer
In this paper, we formulate a class of colored range query problems to model the multi-dimensional range queries in the presence of categorical information. By applying appropriate...
VL
1994
IEEE
15 years 3 months ago
1994
IEEE
Though visual access to spatial database systems has attracted much attention in recent years, there have only few deductive visual languages for spatial information systems been ...
107
click to vote
HUC
2010
Springer
14 years 9 months ago
2010
Springer
Mobile phones are becoming the central tools for communicating and can help us keep in touch with friends and family on-the-go. However, they can also place high demands on attent...