Sciweavers

6413 search results - page 851 / 1283
» Classes of cycle bases
Sort
View
ISER
2000
Springer
117views Robotics» more  ISER 2000»
15 years 10 months ago
Motion Planning for a Self-Reconfigurable Modular Robot
: This paper addresses motion planning of a homogeneous modular robotic system. The modules have self-reconfiguration capability so that a group of the modules can construct a robo...
Eiichi Yoshida, Satoshi Murata, Akiya Kamimura, Ko...
JELIA
2000
Springer
15 years 10 months ago
Considerations on Updates of Logic Programs
Abstract. Among others, Alferes et al. (1998) presented an approach for updating logic programs with sets of rules based on dynamic logic programs. We syntactically redefine dynami...
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...
KONVENS
2000
15 years 10 months ago
Evaluating Metrical Phonology - a Computational- Empirical Approach
This study aims at providing an empirical basis for the evaluation of predictions made by metrical phonology. The predictions are compared to perceptual syllable prominence annota...
Patra S. Wagner
APN
1997
Springer
15 years 10 months ago
Verification of Workflow Nets
Abstract. Workflow management systems will change the architecture of future information systems dramatically. The explicit representation of business procedures is one of the main...
Wil M. P. van der Aalst
PARA
2000
Springer
15 years 10 months ago
Runtime Adaptation of an Iterative Linear System Solution to Distributed Environments
Abstract. Distributed cluster environments are becoming popular platforms for high performance computing in lieu of single-vendor supercomputers. However, the reliability and susta...
Masha Sosonkina