936 search results - page 157 / 188 » The Synthesis Problem of Netcharts |
127
Voted
IPSN
2010
Springer
15 years 10 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ļ¬...
127
Voted
SETN
2010
Springer
15 years 10 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...
133
click to vote
VMCAI
2009
Springer
15 years 10 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...
114
click to vote
COMPSAC
2009
IEEE
15 years 10 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...
129
Voted
DATE
2009
IEEE
15 years 10 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...