3653 search results - page 506 / 731 » On Recognizable Timed Languages |
175
click to vote
ACTAC
2002
15 years 6 months ago
2002
Different program slicing methods are used for debugging, testing, reverse engineering and maintenance. Slicing algorithms can be classified as a static slicing or dynamic slicing...
156
click to vote
COLING
2002
15 years 6 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...
173
click to vote
GIS
2002
ACM
15 years 6 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 ...
198
click to vote
AIEDAM
1999
15 years 6 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...
166
click to vote
INFORMATICALT
2002
15 years 6 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...