5205 search results - page 649 / 1041 » Tilings and model theory |
177
click to vote
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
212
click to vote
IEEEICCI
2009
IEEE
16 years 1 months ago
2009
IEEE
We outline a general conceptual definition of real-world general intelligence that avoids the twin pitfalls of excessive mathematical generality, and excessive anthropomorphism.. ...
197
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper describes the design of a motion control algorithm for a humanoid robotic head, which consists of a neck with four degrees of freedom and two eyes (a stereo pair sys...
166
click to vote
ISPW
2009
IEEE
16 years 1 months ago
2009
IEEE
: Software qualities are in many cases tacit and hard to measure. Thus, there is a potential risk that they get lower priority than deadlines, cost and functionality. This paper pr...
224
click to vote
AGS
2009
Springer
16 years 1 months ago
2009
Springer
Video games in general and educational role play games in particular would increase in believability if Non Player Characters reacted appropriately to the player’s actions. Reali...