Sciweavers

1363 search results - page 94 / 273
» Dynamics of a Classical Conditioning Model
Sort
View
174
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
An effective dynamic analysis for detecting generalized deadlocks
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...
Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay
FDL
2006
IEEE
15 years 6 months ago
Randomized Simulation of Hybrid Systems For Circuit Validation
Abstract. The paper proposes a simulation-based method for validating analog and mixed-signal circuits, using the hybrid systems methodology. This method builds upon RRT (Rapidly-e...
Thao Dang, Tarik Nahhal
98
Voted
LAI
1996
128views more  LAI 1996»
15 years 2 months ago
Doxastic Normality Logic: A Qualitative Probabilistic Modal Framework for Defaults and Belief
We propose a new semantics for modeling belief, mixing conncepts from qualitative probabilistic and classical possible world accounts. Our belief structures are coherent sets of q...
Emil Weydert
ARGMAS
2004
Springer
15 years 6 months ago
Specifying and Implementing a Persuasion Dialogue Game Using Commitments and Arguments
In this paper we propose a new persuasion dialogue game for agent communication. We show how this dialogue game is modeled by a framework based on social commitments and arguments....
Jamal Bentahar, Bernard Moulin, Brahim Chaib-draa
127
Voted
ISER
2004
Springer
152views Robotics» more  ISER 2004»
15 years 6 months ago
Adaptive Walking of a Quadruped Robot in Outdoor Environment based on Biological Concepts
We have been trying to induce a quadruped robot to walk with medium walking speed on irregular terrain based on biological concepts. We propose the essential conditions for stable ...
Hiroshi Kimura, Yasuhiro Fukuoka