Sciweavers

481 search results - page 40 / 97
» Acceleration of behavioral simulation on simulation specific...
Sort
View
ISLPED
1997
ACM
104views Hardware» more  ISLPED 1997»
15 years 3 months ago
Composite sequence compaction for finite-state machines using block entropy and high-order Markov models
- The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). B...
Radu Marculescu, Diana Marculescu, Massoud Pedram
HCI
2007
15 years 1 months ago
Understanding RUTH: Creating Believable Behaviors for a Virtual Human Under Uncertainty
In pursuing the ultimate goal of enabling intelligent conversation with a virtual human, two key challenges are selecting nonverbal behaviors to implement and realizing those behav...
Insuk Oh, Matthew Stone
ICFEM
2007
Springer
15 years 6 months ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
ICMCS
2005
IEEE
87views Multimedia» more  ICMCS 2005»
15 years 5 months ago
A Probabilistic Description of Man-Machine Spoken Communication
Speech enabled interfaces and spoken dialog systems are mostly based on statistical speech and language processing modules. Their behavior is therefore not deterministic and hardl...
Olivier Pietquin
ATAL
2008
Springer
15 years 1 months ago
Discovering tactical behavior patterns supported by topological structures in soccer agent domains
Behaviors in soccer-agent domains can involve individual plays, several players involved in tactical plays or the whole team trying to follow strategies supported by specific form...
Fernando Ramos, Huberto Ayanegui