Sciweavers

4803 search results - page 592 / 961
» Design patterns for games
Sort
View
HYBRID
1994
Springer
15 years 10 months ago
Symbolic Controller Synthesis for Discrete and Timed Systems
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
Eugene Asarin, Oded Maler, Amir Pnueli
ACII
2007
Springer
15 years 10 months ago
Perception of Emotions from Static Postures
The modelling of affective behaviour and appropriate bodily expression to make synthetic characters more believable becomes important in many types of applications such as games, s...
Ahmad S. Shaarani, Daniela M. Romano
168
Voted
ACMACE
2007
ACM
15 years 10 months ago
Sound candy
Sound Candy is a device with which anyone in the world can create his/her own playground anywhere of using sounds and movements around him/her. In our daily life, we are surrounde...
Shuichi Ishibashi, Daisuke Uriu, Naohito Okude
AOSD
2007
ACM
15 years 10 months ago
Fully abstract semantics of additive aspects by translation
stract Semantics of Additive Aspects by Translation S. B. Sanjabi C.-H. L. Ong Oxford University Computing Laboratory We study the denotational semantics of an aspect calculus by ...
S. B. Sanjabi, C.-H. Luke Ong
ACMSE
2007
ACM
15 years 10 months ago
Change propagations in the maintenance of kernel-based software with a study on Linux
As a software system evolves to accommodate new features and repair bugs, changes are needed. Software components are interdependent, changes made to one component can require cha...
Liguo Yu, Srini Ramaswamy