Sciweavers

11211 search results - page 113 / 2243
» (Data) STRUCTURES
Sort
View
135
Voted
INFOCOM
2009
IEEE
15 years 11 months ago
Distributed Arrays: A P2P Data Structure for Efficient Logical Arrays
Daisuke Fukuchi, Christian Sommer 0002, Yuichi Sei...
121
Voted
IROS
2009
IEEE
139views Robotics» more  IROS 2009»
15 years 11 months ago
Improving robot navigation in structured outdoor environments by identifying vegetation from laser data
— This paper addresses the problem of vegetation detection from laser measurements. The ability to detect vegetation is important for robots operating outdoors, since it enables ...
Kai M. Wurm, Rainer Kümmerle, Cyrill Stachnis...
114
Voted
CONCUR
2009
Springer
15 years 11 months ago
A Logic-Based Framework for Reasoning about Composite Data Structures
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M...
124
Voted
FMCAD
2009
Springer
15 years 11 months ago
Verification of recursive methods on tree-like data structures
Jyotirmoy V. Deshmukh, E. Allen Emerson
FROCOS
2009
Springer
15 years 11 months ago
Data Structures with Arithmetic Constraints: A Non-disjoint Combination
Enrica Nicolini, Christophe Ringeissen, Michaë...