Sciweavers

4117 search results - page 702 / 824
» On the Satisfiability of Complex Constraints
Sort
View
IROS
2007
IEEE
266views Robotics» more  IROS 2007»
16 years 15 days ago
Incremental multi-robot task selection for resource constrained and interrelated tasks
— When the tasks of a mission are interrelated and subject to several resource constraints, more efforts are needed to coordinate robots towards achieving the mission than indepe...
Sanem Sariel, Tucker R. Balch, Nadia Erdogan
MEMOCODE
2007
IEEE
16 years 15 days ago
Combining Multi-Valued Logics in SAT-based ATPG for Path Delay Faults
Due to the rapidly growing speed and the decreasing size of gates in modern chips, the probability of faults caused by the production process grows. Already small variations lead ...
Stephan Eggersglüß, Görschwin Fey,...
ROMAN
2007
IEEE
115views Robotics» more  ROMAN 2007»
16 years 14 days ago
Issues in Human/Robot Task Structuring and Teaching
—Teaching a robot new skills may require that the teacher scaffolds the teaching experience appropriately. However, due to inherent assumptions made by a human teacher the scaffo...
Joe Saunders, Nuno Otero, Chrystopher L. Nehaniv
RTSS
2007
IEEE
16 years 14 days ago
Optimal Discrete Rate Adaptation for Distributed Real-Time Systems
Many distributed real-time systems face the challenge of dynamically maximizing system utility and meeting stringent resource constraints in response to fluctuations in system wo...
Yingming Chen, Chenyang Lu, Xenofon D. Koutsoukos
SRDS
2007
IEEE
16 years 14 days ago
A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations
The secure and robust functioning of a network relies on the defect-free implementation of network applications. As network protocols have become increasingly complex, however, ha...
Laurent Burgy, Laurent Réveillère, J...