3038 search results - page 352 / 608 » Controlling Engineering Problem Solving |
110
click to vote
DIGRA
2005
Springer
15 years 8 months ago
2005
Springer
One of the greatest challenges in the design of realistic Artificial Intelligence (AI) in computer games is agent movement. Pathfinding strategies are usually employed as the core...
123
click to vote
FOSSACS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Nominal logic is a variant of first-order logic equipped with a “freshname quantifier” N and other features useful for reasoning about languages with bound names. I...
117
Voted
ICWE
2005
Springer
15 years 8 months ago
2005
Springer
Current Web generation techniques are mainly hard-coded for predefined architectures of Web applications. Consequently, there is a gap between Web design models and the final imple...
87
Voted
SERA
2005
Springer
15 years 8 months ago
2005
Springer
: The techniques of meta-modeling and meta-levels have become a mature concept and have been largely used to solve real problems in programming languages, distributed environments,...
111
Voted
FOSSACS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the D...