Sciweavers

1829 search results - page 104 / 366
» Towards Validation of Requirements Models
Sort
View
ICRA
2010
IEEE
105views Robotics» more  ICRA 2010»
15 years 4 months ago
Towards passive object on-orbit manipulation by cooperating free-flying robots
——Space exploitation will require efficient techniques for manipulating passive objects on orbit. This work presents a manipulation concept that utilizes both the on-off thruste...
Georgios Rekleitis, Evangelos Papadopoulos
145
Voted
ICRA
2010
IEEE
133views Robotics» more  ICRA 2010»
15 years 4 months ago
Spring Loaded Inverted Pendulum embedding: Extensions toward the control of compliant running robots
This paper explores systematic control strategies for the stabilization of running on compliant robots with nontrivial torso pitch dynamics. The Spring Loaded Inverted Pendulum (SL...
Ioannis Poulakakis
OTM
2010
Springer
15 years 4 months ago
Towards Using Semantic Decision Tables for Organizing Data Semantics
In the ITEA2 Do-It-Yourself Smart Experiences project (DIY-SE), we are required to design an ontology-based ambient computing environment to support users to DIY their personalized...
Yan Tang
CASE
2011
102views more  CASE 2011»
14 years 6 months ago
Towards an automated verification process for industrial safety applications
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
Kleanthis Thramboulidis, Doaa Soliman, Georg Frey
KDD
2000
ACM
115views Data Mining» more  KDD 2000»
15 years 9 months ago
Mining asynchronous periodic patterns in time series data
Periodicy detection in time series data is a challenging problem of great importance in many applications. Most previous work focused on mining synchronous periodic patterns and d...
Jiong Yang, Wei Wang 0010, Philip S. Yu