3724 search results - page 350 / 745 » Timed regular expressions |
220
click to vote
LATIN
2010
Springer
16 years 1 months ago
2010
Springer
Binary relations are an important abstraction arising in a number of data representation problems. Each existing data structure specializes in the few basic operations required by ...
176
click to vote
MFCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The synthesis of a reactive system with respect to an ωregular specification requires the solution of a graph game. Such games have been extended in two natural ways. F...
211
click to vote
GLOBECOM
2006
IEEE
16 years 24 days ago
2006
IEEE
— The use of wireless sensor networks for gathering environmental and safety-critical data in real time is increasing at a rapid rate. Some of the main criteria in designing sens...
158
click to vote
AIED
2005
Springer
16 years 9 days ago
2005
Springer
— As an increasing number of robots have been designed to interact with people on a regular basis, research into human-robot interaction has become more widespread. At the same t...
157
click to vote
ICGI
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Left deteministic linear languages are a subclass of the context free languages that includes all the regular languages. Recently was proposed an algorithm to identify in...