728 search results - page 21 / 146 » ideas 2009 |
74
Voted
INTETAIN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Entertainment computing is on its way getting an established academic discipline. The scope of entertainment computing is quite broad (see the scope of the international ...
76
Voted
HYBRID
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
86
Voted
CIDR
2009
14 years 11 months ago
2009
Recent work has shown that we can dramatically improve the performance of computer games and simulations through declarative processing: Character AI can be written in an imperati...
BIRTHDAY
2009
Springer
15 years 5 months ago
2009
Springer
This paper elaborates on some of the fundamental contributions made by John Mylopoulos in the area of Requirements Engineering. We specifically focus on the use of goal models and ...
104
Voted
EUSFLAT
2009
14 years 8 months ago
2009
We examine generalizations of random variables and martingales. We prove a new convergence theorem for setvalued martingales. We also generalize a well known characterization of se...