Sciweavers

288 search results - page 10 / 58
» Compositional Machine Transliteration
Sort
View
ISAS
2005
Springer
15 years 7 months ago
Contract-Based Web Service Composition Framework with Correctness Guarantees
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
Nikola Milanovic
102
Voted
ENTCS
2006
199views more  ENTCS 2006»
15 years 1 months ago
Compositional Operational Semantics of a UML-Kernel-Model Language
We define a compositional operational semantics for state machines and their composition in UML. Each state machine describes the behavior of an object of a class. If a class of a...
Harald Fecher, Marcel Kyas, Willem P. de Roever, F...
CORR
2010
Springer
120views Education» more  CORR 2010»
15 years 1 months ago
State machine models of timing and circuit design
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...
Victor Yodaiken
149
Voted
EVOW
2008
Springer
15 years 3 months ago
Composing Music with Neural Networks and Probabilistic Finite-State Machines
In this paper, biological (human) music composition systems based on Time Delay Neural Networks and Ward Nets and on a probabilistic Finite-State Machine will be presented. The sys...
Tomasz Michal Oliwa, Markus Wagner