8555 search results - page 1488 / 1711 » Property Based Coordination |
166
click to vote
SPEECH
2008
15 years 6 months ago
2008
In this paper, we describe a statistical approach to both an articulatory-to-acoustic mapping and an acoustic-to-articulatory inversion mapping without using phonetic information....
188
click to vote
SQJ
2008
15 years 6 months ago
2008
- We present a comprehensive UML statechart diagram analysis framework. This framework allows one to progressively perform different analysis operations to analyze UML statechart d...
150
click to vote
AMC
2005
15 years 6 months ago
2005
We present an interval branch-and-prune algorithm for computing verified enclosures for the global minimum and all global minimizers of univariate functions subject to bound const...
157
click to vote
TALG
2008
15 years 6 months ago
2008
A cost-sharing scheme is a set of rules defining how to share the cost of a service (often computed by solving a combinatorial optimization problem) amongst serviced customers. A ...
207
click to vote
APAL
2005
15 years 6 months ago
2005
Dynamic Topological Logic provides a context for studying the confluence of the topological semantics for S4, based on topological spaces rather than Kripke frames; topological dy...