585 search results - page 38 / 117 » Better Abstractions for Timed Automata |
109
click to vote
MICCAI
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. Stereotactic techniques are prevalent in neurosurgery. A fundamental assumption of stereotaxis is that the brain is a rigid body. It has been demonstrated, however, that ...
101
click to vote
ATS
2000
IEEE
15 years 4 months ago
2000
IEEE
At very high frequencies, the major potential of asynchronous circuits is absence of clock skew and, through that, better exploitation of relative timing relations. This paper pre...
84
Voted
PODS
2004
ACM
16 years 18 days ago
2004
ACM
Typechecking consists of statically verifying whether the output of an XML transformation is always conform to an output type for documents satisfying a given input type. We focus...
103
Voted
CAI
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We generalize a learning algorithm originally devised for deterministic all-accepting weighted tree automata (wta) to the setting of arbitrary deterministic wta. The lear...
122
click to vote
CEEMAS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We are interested in understanding and simulating how humans elaborate plans in situations where knowledge is incomplete and how they interact to obtain missing informati...