Sciweavers

3856 search results - page 386 / 772
» Models for Automated Earthmoving
Sort
View
135
Voted
DAC
2004
ACM
16 years 7 months ago
The best of both worlds: the efficient asynchronous implementation of synchronous specifications
The desynchronization approach combines a traditional synchronous specification style with a robust asynchronous implementation model. The main contribution of this paper is the d...
Abhijit Davare, Kelvin Lwin, Alex Kondratyev, Albe...
LICS
2009
IEEE
16 years 1 months ago
Clipping: A Semantics-Directed Syntactic Approximation
In this paper we introduce “clipping,” a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for...
Dan R. Ghica, Adam Bakewell
ICIDS
2009
Springer
16 years 1 months ago
Directorial Control in a Decision-Theoretic Framework for Interactive Narrative
Computer aided interactive narrative has received increasing attention in recent years. Automated directorial control that manages the development of the story in the face of user ...
Mei Si, Stacy C. Marsella, David V. Pynadath
ACMACE
2009
ACM
16 years 1 months ago
Towards tailoring player experience in physical Wii games: a case study on relaxation
In this study we construct an artificial neural network model of players’ relaxation preferences while playing a physical Wii game. Developed technology will assist game designe...
Patrick Jarnfelt, Sebbe Selvig, Dajana Dimovska
ESWS
2007
Springer
16 years 29 days ago
Semantic Business Process Repository
Semantic Business Process Management (SBPM) utilizes semantic technologies to achieve more automation throughout the BPM lifecycle. An integral part of the SBPM infrastructure is a...
Zhilei Ma, Branimir Wetzstein, Darko Anicic, Stijn...