Sciweavers

5707 search results - page 389 / 1142
» Symbolic Simulation - Techniques and Applications
Sort
View
CORR
2011
Springer
160views Education» more  CORR 2011»
14 years 11 months ago
Compositional Model Repositories via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences
The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mecha...
Jeroen Keppens, Qiang Shen
ICASSP
2011
IEEE
14 years 11 months ago
ML decoding in decode-and-forward based cooperative communication system
Abstract— In this paper, we derive a maximum-likelihood (ML) decoder of the decode-and-forward (DF) protocol utilizing an arbitrary complex-valued M-point constellation. Existing...
Manav R. Bhatnagar, Are Hjørungnes
CHI
2011
ACM
14 years 11 months ago
Publics in practice: ubiquitous computing at a shelter for homeless mothers
Today, commodity technologies like mobile phones—once symbols of status and wealth—have become deeply woven into social and economic participation in Western society. Despite ...
Christopher A. Le Dantec, Robert G. Farrell, Jim C...
ICRA
2007
IEEE
139views Robotics» more  ICRA 2007»
16 years 1 months ago
Reality-Based Haptic Force Models of Buttons and Switches
—Accurate models of the feel of physical objects are essential to improving the realism of haptic simulations. This paper presents a method for automatically obtaining experiment...
Mark B. Colton, John M. Hollerbach
ICCAD
1997
IEEE
53views Hardware» more  ICCAD 1997»
15 years 11 months ago
A quantitative approach to functional debugging
We introduce a novel cut-based debugging paradigm. It coordinates design emulation and simulation and enables fast transition from one to another. Emulation or functional implemen...
Darko Kirovski, Miodrag Potkonjak