4666 search results - page 711 / 934 » Equations on Timed Languages |
128
click to vote
COLING
2002
15 years 4 months ago
2002
We propose a method "Interactive Paraphrasing" which enables users to interactively paraphrase words in a document by their definitions, making use of syntactic annotati...
144
Voted
GIS
2002
ACM
15 years 4 months ago
2002
ACM
The paper describes how the Web can be used as a support for intensive querying and display of large moving objects databases. We present first an architecture for a system which ...
163
Voted
AIEDAM
1999
15 years 4 months ago
1999
A temporal logic for representing and reasoning on a robotic domain is presented. Actions are represented by describing what is true while the action itself is occurring, and plan...
142
Voted
INFORMATICALT
2002
15 years 4 months ago
2002
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...
129
Voted
PRESENCE
2002
15 years 4 months ago
2002
"It / I" is a two-character theater play where the human character I (played by a real actor) is taunted and played with by an autonomous computer character It on a comp...