744 search results - page 33 / 149 » Observations on the Decidability of Transitions |
CAV
1994
Springer
14 years 1 months ago
1994
Springer
We introduce event-recording automata. An event-recording automaton is a timed automaton that contains, for every event a, a clock that records the time of the last occurrence of a...
IJCAI
2007
13 years 10 months ago
2007
Conjunctive queries play an important role as an expressive query language for Description Logics (DLs). Although modern DLs usually provide for transitive roles, conjunctive quer...
TON
2010
13 years 3 months ago
2010
This paper investigates the effects of transition from a single-service class to two-service classes in the Internet. We consider multiple competing Internet Service Providers (ISP...
TAP
2008
Springer
13 years 9 months ago
2008
Springer
It has been known for some time that larger graphs can be interpreted if laid out in 3D and displayed with stereo and/or motion depth cues to support spatial perception. However, ...
LPAR
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Ex...