Sciweavers

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