Sciweavers

2655 search results - page 280 / 531
» User-Tailored Plan Presentation
Sort
View
AIPS
2009
15 years 7 months ago
Extended Goals for Composing Services
The ability to automatically compose Web Services is critical for realising more complex functionalities. Several proposals to use automated planning to deal with the problem of s...
Eirini Kaldeli, Alexander Lazovik, Marco Aiello
CORR
2010
Springer
92views Education» more  CORR 2010»
15 years 6 months ago
Applying Constraint Solving to the Management of Distributed Applications
Abstract. We present our approach for deploying and managing distributed component-based applications. A Desired State Description (DSD), written in a high-level declarative langua...
Andrew McCarthy, Alan Dearle, Graham N. C. Kirby
IGPL
2008
103views more  IGPL 2008»
15 years 6 months ago
Transition Logic Revisited
A new version of transition logic is presented. It integrates (dynamic) transitions, which change world states, and classical (static) reasoning, restricted in the paper to Horn l...
Wolfgang Bibel
CORR
2007
Springer
104views Education» more  CORR 2007»
15 years 6 months ago
Multi-physics Extension of OpenFMO Framework
OpenFMO framework, an open-source software (OSS) platform for Fragment Molecular Orbital (FMO) method, is extended to multi-physics simulations (MPS). After reviewing the several F...
Toshiya Takami, Jun Maki, Jun-ichi Ooba, Yuichi In...
ENGL
2007
94views more  ENGL 2007»
15 years 6 months ago
Development of a Functional Neuromuscular Stimulation System for Independent Ambulation of Patients with a Spinal Cord Injury
— This paper proposes the use of a controlled assistive device, aimed as a support for the impaired individuals to allow a limited ambulatory function. The aim of the overall pro...
Alejandro Garcia Blanco, Gildardo Jimenez, Pedro O...