32 search results - page 3 / 7 » Towards Validation of Rule-Based Systems - The Loop is Close... |
CASES
2007
ACM
13 years 9 months ago
2007
ACM
Micro-Electro-Mechanical Systems (MEMS) combine lithographically formed mechanical structures with electrical elements to create physical systems that operate on the scale of micr...
ICRA
2005
IEEE
13 years 11 months ago
2005
IEEE
Abstract— The latest technological progress in sensors, actuators and energy storage devices enables the developments of miniature VTOL1 systems. In this paper we present the res...
ICRA
2009
IEEE
13 years 12 months ago
2009
IEEE
— We report our first experiences with Leaving Flatland, an exploratory project that studies the key challenges of closing the loop between autonomous perception and action on c...
ECOWS
2006
Springer
13 years 9 months ago
2006
Springer
Traditional process support systems offer the promise of software assembled from service elements. The typical approach is a static composition of atomic processes to more powerfu...
ISMB
1998
13 years 6 months ago
1998
A novel method to model and predict the location and orientation of alpha helices in membrane- spanning proteins is presented. It is based on a hidden Markov model (HMM) with an a...