147 search results - page 15 / 30 » Combining Control and Data Abstraction in the Verification o... |
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
We address several challenges for applying statistical dialog managers based on Partially Observable Markov Models to real world problems: to deal with large numbers of concepts, ...
AP2PC
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. Peer-to-Peer (P2P) data management systems combine traditional schema-based integration techniques with the P2P infrastructure. In this paper, we propose a P2P data manag...
IVA
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Effective speakers engage their whole body when they gesture. It is difficult, however, to create such full body motion in animated agents while still supporting a large...
HYBRID
2005
Springer
14 years 28 days ago
2005
Springer
In this paper, we present a new design methodology for synchronous reactive systems, based on a clear separation between control and data flow parts. This methodology allows to fa...
AINA
2007
IEEE
14 years 1 months ago
2007
IEEE
— Simulation is the most famous way to study wireless an mobile networks since they offer a convenient combination of flexibility and controllability. However, their largest dis...