Sciweavers

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