3825 search results - page 462 / 765 » The Language of Time: A Reader |
225
Voted
ICMI
2007
Springer
16 years 1 months 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 ...
249
click to vote
MODELS
2007
Springer
16 years 1 months 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 ...
174
Voted
MONTEREY
2007
Springer
16 years 1 months 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...
207
click to vote
ICEIS
2006
IEEE
16 years 1 months 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...
192
click to vote
VL
2006
IEEE
16 years 1 months ago
2006
IEEE
Modern development environments provide many features for navigating source code, yet recent studies show the developers still spend a tremendous amount of time just navigating. S...