4666 search results - page 173 / 934 » Equations on Timed Languages |
151
Voted
COLT
1992
Springer
15 years 9 months ago
1992
Springer
This paper deals with a class of Prolog programs, called context-free term transformations (CFT). We present a polynomial time algorithm to identify a subclass of CFT, whose progr...
154
Voted
AAAI
2004
15 years 7 months ago
2004
In this paper we introduce the language Golog+HTNT I for specifying control using procedural and HTN-based constructs together with deadlines and time restrictions. Our language s...
149
click to vote
RTDB
1996
15 years 6 months ago
1996
We are developing an object-oriented real-time database system that includes a relationally complete query language. Unlike conventional query optimizers, our optimizer estimates ...
154
click to vote
ACTA
2010
15 years 5 months ago
2010
Systems of Data Management Timed Automata (SDMTAs) are networks of communicating timed automata with structures to store messages and functions to manipulate them. We prove the dec...
170
Voted
CLEF
2007
Springer
15 years 11 months ago
2007
Springer
GeoCLEF ran as a regular track for the second time within the Cross Language Evaluation Forum (CLEF) 2007. The purpose of GeoCLEF is to test and evaluate cross-language geographic ...