Sciweavers

10568 search results - page 152 / 2114
» Computer Intelligence and Formalization
Sort
View
114
Voted
EDOC
2006
IEEE
15 years 8 months ago
Using Model-Driven Engineering to generate QoS Monitors from a formal specification
Sébastien Saudrais, Olivier Barais, Laurenc...
124
Voted
AI
2005
Springer
15 years 8 months ago
First Steps Towards Incremental Diagnosis of Discrete-Event Systems
This paper deals with the incremental off-line computation of diagnosis of discrete-event systems. Traditionally, the diagnosis is computed from the global automaton describing th...
Alban Grastien, Marie-Odile Cordier, Christine Lar...
118
Voted
ACMACE
2005
ACM
15 years 4 months ago
Towards an intelligent storyboarding tool for 3D games
We present an intelligent storyboarding tool that takes as an stract annotated action specification to generate camera actions and geometric constraints for executing as a dynamic...
Arnav Jhala, William H. Bares, R. Michael Young
86
Voted
IAT
2008
IEEE
15 years 9 months ago
Comparison of Agent-Based and Population-Based Simulations of Displacement of Crime
Within Criminology, the process of crime displacement is usually explained by referring to the interaction of three types of agents: criminals, passersby, and guardians. Most exis...
Tibor Bosse, Charlotte Gerritsen, Mark Hoogendoorn...