2629 search results - page 370 / 526 » complex 2009 |
153
click to vote
MIDDLEWARE
2009
Springer
15 years 11 months ago
2009
Springer
The innate dynamicity and complexity of mobile ad-hoc networks (MANETs) has resulted in numerous ad-hoc routing protocols being proposed. Furthermore, numerous variants and hybrids...
156
click to vote
MIG
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Navigational performance of artificial intelligence (AI) characters in computer games is gaining an increasingly important role in the perception of their behavior. Whil...
178
click to vote
MIG
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Despite the large success of games grounded on movement-based interactions the current state of full body motion capture technologies still prevents the exploitation of p...
119
click to vote
MKM
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents a proof language based on the work of Sacerdoti Coen [1,2], Kirchner [3] and Autexier [4] on ¯λµ˜µ, a calculus introduced by Curien and Herbelin [5,6]. Jus...
133
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...