Sciweavers

288 search results - page 13 / 58
» Compositional Machine Transliteration
Sort
View
EMSOFT
2005
Springer
15 years 7 months ago
Tag machines
Heterogeneity is a challenge to overcome in the design of embedded systems. We presented in the recent past a theory for the composition of heterogeneous components based on tagge...
Albert Benveniste, Benoît Caillaud, Luca P. ...
117
Voted
RTAS
2006
IEEE
15 years 7 months ago
A Real-time Java Virtual Machine for Avionics - An Experience Report
We report on our experience with the implementation of the Real-time Specification for Java (RTSJ) in the DARPA Program Composition for Embedded System (PCES) program. Within the...
Jason Baker, Antonio Cunei, Chapman Flack, Filip P...
ICML
2008
IEEE
16 years 2 months ago
Composite kernel learning
The Support Vector Machine (SVM) is an acknowledged powerful tool for building classifiers, but it lacks flexibility, in the sense that the kernel is chosen prior to learning. Mul...
Marie Szafranski, Yves Grandvalet, Alain Rakotomam...
99
Voted
CSL
2000
Springer
15 years 6 months ago
Composition and Submachine Concepts for Sequential ASMs
We define three composition and structuring concepts which reflect frequently used refinements of ASMs and integrate standard structuring constructs into the global state based ...
Egon Börger, Joachim Schmid
124
Voted
FOSSACS
2007
Springer
15 years 8 months ago
A Lower Bound on Web Services Composition
A web service is modeled here as a finite state machine. A composition problem for web services is to decide if a given web service can be constructed from a given set of web serv...
Anca Muscholl, Igor Walukiewicz