936 search results - page 157 / 188 » The Synthesis Problem of Netcharts |
IPSN
2010
Springer
14 years 4 months ago
2010
Springer
Wireless Sensor Actuator Networks (WSANs) extend wireless sensor networks through actuation capability. Designing robust logic for WSANs however is challenging since nodes can aļ¬...
SETN
2010
Springer
14 years 4 months ago
2010
Springer
In the present work we address the problem of phone duration modeling for the needs of emotional speech synthesis. Specifically, relying on ten well known machine learning techniqu...
VMCAI
2009
Springer
14 years 4 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for veriļ¬cation of hybrid systems. This approach works by searching for inductive invariants of a give...
COMPSAC
2009
IEEE
14 years 4 months ago
2009
IEEE
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...
DATE
2009
IEEE
14 years 4 months ago
2009
IEEE
AbstractāThis paper presents a technique to perform arbitrary ļ¬xed permutations on streaming data. We describe a parameterized architecture that takes as input n data points st...