Sciweavers

418 search results - page 38 / 84
» Source Controlled Modulation Scheme for Sources with Memory
Sort
View
POPL
2006
ACM
14 years 8 months ago
Modular set-based analysis from contracts
In PLT Scheme, programs consist of modules with contracts. The latter describe the inputs and outputs of functions and objects via predicates. A run-time system enforces these pre...
Philippe Meunier, Robert Bruce Findler, Matthias F...
GLOBECOM
2006
IEEE
14 years 1 months ago
Adaptive Multi-Copy Routing for Intermittently Connected Mobile Ad Hoc Networks
— Intermittently Connected Mobile Ad Hoc Networks (ICMANs) are mobile networks in which complete source-todestination paths do not exist most of the time because of their sparse ...
Zhuoqun Li, Lingfen Sun, Emmanuel C. Ifeachor
ATAL
2008
Springer
13 years 9 months ago
SmartBody: behavior realization for embodied conversational agents
Researchers demand much from their embodied conversational agents (ECAs), requiring them to be both life-like, as well as responsive to events in an interactive setting. We find t...
Marcus Thiébaux, Stacy Marsella, Andrew N. ...
COST
2008
Springer
136views Multimedia» more  COST 2008»
13 years 9 months ago
Articulatory Synthesis of Speech and Singing: State of the Art and Suggestions for Future Research
Articulatory synthesis of speech and singing aims for modeling the production process of speech and singing as human-like or natural as possible. The state of the art is described ...
Bernd J. Kröger, Peter Birkholz
PLDI
2005
ACM
14 years 1 months ago
TraceBack: first fault diagnosis by reconstruction of distributed control flow
Faults that occur in production systems are the most important faults to fix, but most production systems lack the debugging facilities present in development environments. TraceB...
Andrew Ayers, Richard Schooler, Chris Metcalf, Ana...