1705 search results - page 7 / 341 » Representing Constraints with Automata |
HYBRID
1997
Springer
13 years 11 months ago
1997
Springer
We de ne robust timed automata, which are timed automata that accept all trajectories \robustly": if a robust timed automaton accepts a trajectory, then it must accept neighbo...
CL
2000
Springer
13 years 12 months ago
2000
Springer
This paper presents a method for representing trees using constraint logic programming over finite domains. We describe a class of trees that is of particular interest to us and h...
BIOSTEC
2008
13 years 9 months ago
2008
Clinical trial protocols include schedule of clinical trial activities such as clinical tests, procedures, and medications. The schedule specifies temporal constraints on the seque...
AIIA
2009
Springer
14 years 2 months ago
2009
Springer
ASP
2001
Springer
13 years 11 months ago
2001
Springer