22 search results - page 5 / 5 » Using a formal specification and a model checker to monitor ... |
AOSE
2005
Springer
13 years 11 months ago
2005
Springer
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
TVCG
2010
13 years 3 months ago
2010
—Many visualization applications benefit from displaying content on real-world objects rather than on a traditional display (e.g., a monitor). This type of visualization display ...