3765 search results - page 212 / 753 » Formal Methods for Systems Engineering Behavior Models |
190
click to vote
EEE
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper focuses on question selection methods for conversational recommender systems. We consider a scenario, where given an initial user query, the recommender system may ask ...
180
click to vote
APN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we define Time Petri Nets with Inhibitor Hyperarcs (IHTPN) as an extension of T-time Petri nets where time is associated with transitions. In this model, ...
170
click to vote
BC
2010
15 years 4 months ago
2010
We have previously tried to explain perceptual inference and learning under a free-energy principle that pursues Helmholtz's agenda to understand the brain in terms of energy ...
170
click to vote
IFM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
205
click to vote
SAB
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Symmetry breaking is commonly found in self-organized collective decision making. It serves an important functional role, specifically in biological and bio-inspired sys...