Sciweavers

3381 search results - page 260 / 677
» Extending Dependencies with Conditions
Sort
View
ISER
2004
Springer
134views Robotics» more  ISER 2004»
16 years 17 hour ago
Autonomous Landing of an Unmanned Helicopter based on Vision and Inertial Sensing
In this paper, we propose an autonomous precision landing method for an unmanned helicopter based on an on-board visual navigation system consisting of a single pan-tilting camera,...
Torsten Merz, Simone Duranti, Gianpaolo Conte
DFT
2003
IEEE
154views VLSI» more  DFT 2003»
15 years 12 months ago
Fault Recovery Based on Checkpointing for Hard Real-Time Embedded Systems
Safety-critical embedded systems often operate in harsh environmental conditions that necessitate fault-tolerant computing techniques. Many safety-critical systems also execute re...
Ying Zhang, Krishnendu Chakrabarty
HICSS
2003
IEEE
116views Biometrics» more  HICSS 2003»
15 years 12 months ago
On Optimization of Reliability of Distributed Generation-Enhanced Feeders
Placement of protection devices in a conventional feeder (without distributed generation) is often performed so as to minimize traditional reliability indices (SAIDI, SAIFI, MAIFI...
Aleksandar Pregelj, Miroslav Begovic, Ajeet Rohatg...
166
Voted
SCAM
2003
IEEE
15 years 12 months ago
Improving the Static Analysis of Loops by Dynamic Partitioning Techniques
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...
Matthieu Martel
ATAL
2003
Springer
15 years 12 months ago
Deriving individual obligations from collective obligations
A collective obligation is an obligation directed to a group of agents so that the group, as a whole, is obliged to achieve a given task. The problem investigated here is the impac...
Laurence Cholvy, Christophe Garion