3244 search results - page 414 / 649 » Extensions to Description Logics |
181
click to vote
TIME
2006
IEEE
16 years 20 days ago
2006
IEEE
In this paper, we consider quantitative temporal or spatial constraint networks whose constraints evolve over time in an ultimately periodic fashion. These constraint networks are...
185
click to vote
TIME
2005
IEEE
16 years 7 days ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
157
click to vote
GECCO
2005
Springer
16 years 5 days ago
2005
Springer
We have investigated the potential for using genetic programming to evolve compiler parsing and translation routines for processing arithmetic and logical expressions as they are ...
148
click to vote
AMAST
2004
Springer
16 years 2 days ago
2004
Springer
We develop an equational definition of exception monads that characterizes Moggi’s exception monad transformer. This axiomatization is then used to define an extension of previ...
187
click to vote
ICTAC
2004
Springer
16 years 1 days ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...