Search Sciweavers | Sciweavers

11231 search results - page 127 / 2247

» Digging for Data Structures

click to vote

IROS
2009
IEEE

139views Robotics» more IROS 2009»

Improving robot navigation in structured outdoor environments by identifying vegetation from laser data

15 years 6 months ago

Download www.informatik.uni-freiburg.de

— 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...

claim paper

Read More »

click to vote

CONCUR
2009
Springer

187views Distributed And Parallel Com...» more CONCUR 2009»

A Logic-Based Framework for Reasoning about Composite Data Structures

15 years 6 months ago

Download www.memics.cz

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M...

claim paper

Read More »

click to vote

FMCAD
2009
Springer

139views Formal Methods» more FMCAD 2009»

Verification of recursive methods on tree-like data structures

15 years 6 months ago

Download www.cerc.utexas.edu

Jyotirmoy V. Deshmukh, E. Allen Emerson

claim paper

Read More »

click to vote

FROCOS
2009
Springer

112views Control Systems» more FROCOS 2009»

Data Structures with Arithmetic Constraints: A Non-disjoint Combination

15 years 6 months ago

Download disi.unitn.it

Enrica Nicolini, Christophe Ringeissen, Michaë...

claim paper

Read More »

click to vote

ITICSE
2009
ACM

113views Theoretical Computer Science» more ITICSE 2009»

A course on algorithms and data structures using on-line judging

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers