Sciweavers

3717 search results - page 429 / 744
» The Persistence of Statistical Information
Sort
View
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
16 years 13 days ago
Validation of Embedded Systems Using Formal Method Aided Simulation
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
Daniel Karlsson, Petru Eles, Zebo Peng
FDL
2005
IEEE
16 years 13 days ago
SystemC-Based Communication and Performance Analysis
In today’s electronic system-level (ESL) design processes, an early analysis of a system’s communication and nce characteristics is becoming a key challenge. The availability ...
Axel G. Braun, Joachim Gerlach, Wolfgang Rosenstie...
ICMCS
2005
IEEE
87views Multimedia» more  ICMCS 2005»
16 years 12 days 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
ICRA
2005
IEEE
174views Robotics» more  ICRA 2005»
16 years 12 days ago
A Deformable Object Tracking Algorithm Robust to Occlusions and Spurious Edges
— Deformable object tracking is used in many robotics applications including biomanipulation, vision-based force sensing, and the control of deformable structures. A tracking alg...
Michael A. Greminger, Bradley J. Nelson
ITRE
2005
IEEE
16 years 12 days ago
Forecasting error tolerable resource allocation for All-IP networks
This paper will discuss some resource allocation methods that can tolerate forecast errors under the Budget-Based management infrastructure, BBQ, which is designed to offer end-to-...
Yao-Nan Lien, Yi-Min Chen