3038 search results - page 352 / 608 » Controlling Engineering Problem Solving |
164
Voted
DIGRA
2005
Springer
16 years 1 days 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...
174
click to vote
FOSSACS
2005
Springer
16 years 1 days 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...
168
click to vote
ICWE
2005
Springer
16 years 11 hour 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...
123
click to vote
SERA
2005
Springer
15 years 12 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,...
159
click to vote
FOSSACS
2004
Springer
15 years 12 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...