Sciweavers

5373 search results - page 691 / 1075
» Models and Motion Planning
Sort
View
AIPS
2009
15 years 8 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
ASM
2010
ASM
15 years 7 months ago
Matelas: A Predicate Calculus Common Formal Definition for Social Networking
This paper presents Matelas, a B predicate calculus definition for social networking, modelling social-network content, privacy policies, social-networks friendship relations, and ...
Néstor Cataño, Camilo Rueda
EOR
2006
50views more  EOR 2006»
15 years 6 months ago
Optimal product rollover strategies
As product life cycles shortened, many firms introduce new products and phase out old products frequently. To plan for a successful product rollover; i.e., introduce a new product...
Wei Shi Lim, Christopher S. Tang
JAIR
2008
123views more  JAIR 2008»
15 years 6 months ago
The Computational Complexity of Dominance and Consistency in CP-Nets
We investigate the computational complexity of testing dominance and consistency in CP-nets. Up until now, the complexity of dominance has been determined only for restricted clas...
Judy Goldsmith, Jérôme Lang, Miroslaw...
155
Voted
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...