1120 search results - page 177 / 224 » A Formal Framework for Interactive Agents |
132
click to vote
CBSE
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
89
Voted
CGVR
2006
15 years 2 months ago
2006
- This paper presents a technique of evolutionary design for plants in virtual worlds, inspired from Richard Dawkins' adaptive walks within the space of biomorph structures. T...
175
Voted
Book
"The term “design patterns” sounds a bit formal to the uninitiated and
can be somewhat off-putting when you first encounter it. But, in fact, design
patterns are just co...
ITS
2004
Springer
15 years 6 months ago
2004
Springer
How smart should we be in order to cope with the complex authoring process of smart courseware? Lately this question gains more attention with attempts to simplify the process and ...
126
Voted
ACSD
2006
IEEE
15 years 2 months ago
2006
IEEE
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...