Sciweavers

305 search results - page 3 / 61
» Constraint-driven communication synthesis
Sort
View
TMM
2010
224views Management» more  TMM 2010»
14 years 4 months ago
A 3-D Audio-Visual Corpus of Affective Communication
Communication between humans deeply relies on the capability of expressing and recognizing feelings. For this reason, research on human-machine interaction needs to focus on the re...
Gabriele Fanelli, Jürgen Gall, Harald Romsdor...
BIRTHDAY
2003
Springer
15 years 2 months ago
Program Synthesis for Multi-agent Question Answering
Techniques that were developed for program synthesis are being applied to allow multiple agents to communicate with each other and cooperate to solve a single problem. We illustrat...
Richard J. Waldinger, Peter Jarvis, Jennifer L. Du...
ICASSP
2011
IEEE
14 years 1 months ago
On synthesizing cross ambiguity functions
The cross ambiguity function (CAF) arises in many areas such as radar/sonar and communications when correlation processing is performed in the presence of a Doppler frequency shif...
Hao He, Petre Stoica, Jian Li
SCN
2011
Springer
292views Communications» more  SCN 2011»
14 years 4 months ago
Synthesis of attack actions using model checking for the verification of security protocols
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
Stylianos Basagiannis, Panagiotis Katsaros, Andrew...
ASPDAC
1998
ACM
160views Hardware» more  ASPDAC 1998»
15 years 1 months ago
Synthesis of Power Efficient Systems-on-Silicon
We developed a new modular synthesis approach for design of low-power core-based data-intensive application-specific systems on silicon. The power optimization is conducted in th...
Darko Kirovski, Chunho Lee, Miodrag Potkonjak, Wil...