3653 search results - page 80 / 731 » On Recognizable Timed Languages |
SIGDIAL
2010
14 years 7 months ago
2010
Spoken language interaction between humans and robots in natural environments will necessarily involve communication about space and distance. The current study examines people�...
100
click to vote
TIME
2009
IEEE
15 years 4 months ago
2009
IEEE
—Past research on temporal databases has primarily focused on state-based representations and on relational query language extensions for such representations. This led to many d...
CAV
2007
Springer
15 years 4 months ago
2007
Springer
In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. The first prototy...
ECRTS
1999
IEEE
15 years 2 months ago
1999
IEEE
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defin...
ECOOP
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. The aim of component technology is the replacement of large monolithic applications with sets of smaller software components, whose particular functionality and interoper...