807 search results - page 143 / 162 » Modeling Hybrid Domains Using Process Description Language |
318
Voted
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...
106
click to vote
ENTCS
2006
15 years 2 months ago
2006
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
154
click to vote
CIKM
2011
Springer
14 years 2 months ago
2011
Springer
This paper explores correspondence and mixture topic modeling of documents tagged from two different perspectives. There has been ongoing work in topic modeling of documents with...
103
click to vote
TSD
2004
Springer
15 years 7 months ago
2004
Springer
A significant challenge in Text-to-Speech (TtS) synthesis is the formulation of the prosodic structures (phrase breaks, pitch accents, phrase accents and boundary tones) of uttera...
102
click to vote
CP
2003
Springer
15 years 7 months ago
2003
Springer
In this paper, we present an algorithm to propagate an n-ary constraint (with n greater than 2) specifying the relative positions of points in a three-dimensional rigid group. The ...