Sciweavers

10539 search results - page 88 / 2108
» On L
Sort
View
ISRR
2005
Springer
119views Robotics» more  ISRR 2005»
15 years 11 months ago
Session Overview Underwater Robotics
Louis L. Whitcomb, Hugh F. Durrant-Whyte
WEA
2005
Springer
88views Algorithms» more  WEA 2005»
15 years 11 months ago
New Upper Bound Heuristics for Treewidth
Emgad H. Bachoore, Hans L. Bodlaender
AH
2004
Springer
15 years 11 months ago
Ambient Intelligence
Emile H. L. Aarts
CAISE
2004
Springer
15 years 11 months ago
Architectural Principles for Enterprise Frameworks
Richard A. Martin, Edward L. Robertson, John A. Sp...
CAV
2004
Springer
111views Hardware» more  CAV 2004»
15 years 11 months ago
Using Interface Refinement to Integrate Formal Verification into the Design Cycle
Jacob Chang, Sergey Berezin, David L. Dill