Sciweavers

1682 search results - page 76 / 337
» A behavior model for persuasive design
Sort
View
EICS
2009
ACM
15 years 11 months ago
StateStream: a developer-centric approach towards unifying interaction models and architecture
Complex and dynamic interaction behaviors in applications such as Virtual Reality (VR) systems are difficult to design and develop. Reasons for this include the complexity and lim...
Gerwin de Haan, Frits H. Post
FMCAD
2009
Springer
16 years 23 days ago
Scaling VLSI design debugging with interpolation
—Given an erroneous design, functional verification returns an error trace exhibiting a mismatch between the specification and the implementation of a design. Automated design ...
Brian Keng, Andreas G. Veneris
ICRA
2007
IEEE
124views Robotics» more  ICRA 2007»
16 years 15 days ago
Monitoring of a Class of Timed Discrete Events Systems
— This paper extends the notion of residuals for fault detection, well known in the continuous system to the timed discrete events systems. The aim is to design the fault indicat...
Adib Allahham, Hassane Alla
AOSE
2001
Springer
15 years 10 months ago
UML Class Diagrams Revisited in the Context of Agent-Based Systems
Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts ...
Bernhard Bauer
AAAI
2006
15 years 7 months ago
Building Explainable Artificial Intelligence Systems
As artificial intelligence (AI) systems and behavior models in military simulations become increasingly complex, it has been difficult for users to understand the activities of co...
Mark G. Core, H. Chad Lane, Michael van Lent, Dave...