Sciweavers

15421 search results - page 381 / 3085
» Dependability
Sort
View
ACL
2009
15 years 4 months ago
Modeling Morphologically Rich Languages Using Split Words and Unstructured Dependencies
We experiment with splitting words into their stem and suffix components for modeling morphologically rich languages. We show that using a morphological analyzer and disambiguator...
Deniz Yuret, Ergun Biçici
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
15 years 4 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
ICETE
2009
112views Business» more  ICETE 2009»
15 years 4 months ago
Towards Dependency Management in Service Compositions
Matthias Winkler, Alexander Schill
ICTAI
2009
IEEE
15 years 4 months ago
TiMDPpoly: An Improved Method for Solving Time-Dependent MDPs
We introduce TiMDPpoly, an algorithm designed to solve planning problems with durative actions, under probabilistic uncertainty, in a non-stationary, continuous-time context. Miss...
Emmanuel Rachelson, Patrick Fabiani, Fréd&e...