2407 search results - page 328 / 482 » A Tool for Abstraction in Model Checking |
225
Voted
IS
1998
15 years 6 months ago
1998
Information modeling is concerned with the construction of computer-based symbol structures which capture the meaning of information and organize it in ways that make it understan...
236
Voted
CORR
2011
Springer
15 years 2 months ago
2011
Springer
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...
191
Voted
AIMSA
2008
Springer
16 years 1 months ago
2008
Springer
Abstract This paper attempts to define an emotional model for virtual agents that behave autonomously in social worlds. We adopt shallow modeling based on the decomposition of the...
232
Voted
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 ...
317
click to vote
NEUROSCIENCE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Finite-state machines are the most pervasive models of computation, not only in theoretical computer science, but also in all of its applications to real-life problems, a...