Sciweavers

11211 search results - page 113 / 2243
» Data Structures
Sort
View
120
Voted
INFOCOM
2009
IEEE
15 years 9 months ago
Distributed Arrays: A P2P Data Structure for Efficient Logical Arrays
Daisuke Fukuchi, Christian Sommer 0002, Yuichi Sei...
104
Voted
IROS
2009
IEEE
139views Robotics» more  IROS 2009»
15 years 9 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...
95
Voted
CONCUR
2009
Springer
15 years 9 months ago
A Logic-Based Framework for Reasoning about Composite Data Structures
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M...
102
Voted
FMCAD
2009
Springer
15 years 9 months ago
Verification of recursive methods on tree-like data structures
Jyotirmoy V. Deshmukh, E. Allen Emerson
97
Voted
FROCOS
2009
Springer
15 years 9 months ago
Data Structures with Arithmetic Constraints: A Non-disjoint Combination
Enrica Nicolini, Christophe Ringeissen, Michaë...