Sciweavers

1036 search results - page 21 / 208
» Incompleteness of Behavioral Logics
Sort
View
VVEIS
2004
13 years 10 months ago
Fault-based Testing of E-Commerce Applications
Because of their complexity, business transactions are prone to failure in many ways. This paper reports on our experience using a fault-based testing approach. The approach overco...
Marisa A. Sanchez, Juan Carlos Augusto, Miguel Fel...
ICCAD
2000
IEEE
113views Hardware» more  ICCAD 2000»
14 years 1 months ago
Don't Cares and Multi-Valued Logic Network Minimization
We address optimizing multi-valued (MV) logic functions in a multi-level combinational logic network. Each node in the network, called an MV-node, has multi-valued inputs and sing...
Yunjian Jiang, Robert K. Brayton
IJVR
2008
137views more  IJVR 2008»
13 years 8 months ago
Reasoning about Action for Behavioral Animation of Intelligent Virtual Agents
Recent work in behavioral animation has taken impressive steps towards a virtual human. As for intelligent virtual agents, abbreviated "IVAs", the behaviors displayed in ...
Yisong Liu, Shan Zhong, Yongzhao Zhan
GECCO
2007
Springer
228views Optimization» more  GECCO 2007»
14 years 2 months ago
Collective behavior based hierarchical XCS
This paper attempts to extend the XCS research by analyzing the impact of information exchange between XCS agents on classifier performance. Two types of information are exchange...
Matthew Gershoff, Sonia Schulenburg
ICSE
2009
IEEE-ACM
14 years 9 months ago
Analyzing critical process models through behavior model synthesis
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...
Christophe Damas, Bernard Lambeau, Francois Roucou...