3653 search results - page 426 / 731 » On Recognizable Timed Languages |
166
click to vote
ESOP
2007
Springer
16 years 26 days ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
202
click to vote
ICMI
2007
Springer
16 years 25 days ago
2007
Springer
In this paper we introduce a system that automatically adds different types of non-verbal behavior to a given dialogue script between two virtual embodied agents. It allows us to ...
223
Voted
MODELS
2007
Springer
16 years 25 days ago
2007
Springer
Recently, the complexity of modern, real-time computer games has increased drastically. The need for sophisticated game AI, in particular for Non-Player Characters, grows with the ...
148
click to vote
MONTEREY
2007
Springer
16 years 25 days ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
171
click to vote
ICEIS
2006
IEEE
16 years 22 days ago
2006
IEEE
The satisfiability test checks, whether or not the evaluation of a query returns the empty set for any input document, and can be used in query optimization for avoiding the submis...