305 search results - page 3 / 61 » Constraint-driven communication synthesis |
TMM
2010
13 years 2 months ago
2010
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...
BIRTHDAY
2003
Springer
14 years 29 days ago
2003
Springer
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...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
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...
SCN
2011
Springer
13 years 2 months ago
2011
Springer
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...
ASPDAC
1998
ACM
13 years 12 months ago
1998
ACM
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...