Sciweavers

2582 search results - page 323 / 517
» Scheduling in a Planning Environment
Sort
View
CORR
2007
Springer
104views Education» more  CORR 2007»
13 years 10 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...
JAPLL
2006
104views more  JAPLL 2006»
13 years 10 months ago
A proof-centric approach to mathematical assistants
We present an approach to mathematical assistants which uses readable, executable proof scripts as the central language for interaction. We examine an implementation that combines...
Lucas Dixon, Jacques D. Fleuriot
ROBOTICA
2006
132views more  ROBOTICA 2006»
13 years 10 months ago
Human arm kinematics for robot based rehabilitation
The paper considers a technique for computation of the inverse kinematic model of the human arm for robot based rehabilitation that uses measurements of the hand position and orie...
Matjaz Mihelj
BIRTHDAY
2012
Springer
12 years 6 months ago
The Logical Execution Time Paradigm
Embedded systems must interact with their real-time environment in a timely and dependable fashion. Most embeddedsystems architectures and design processes consider “nonfunction...
Christoph M. Kirsch, Ana Sokolova
CCGRID
2008
IEEE
14 years 5 months ago
Grid Differentiated Services: A Reinforcement Learning Approach
—Large scale production grids are a major case for autonomic computing. Following the classical definition of Kephart, an autonomic computing system should optimize its own beha...
Julien Perez, Cécile Germain-Renaud, Bal&aa...