Search Sciweavers | Sciweavers

11214 search results - page 146 / 2243

» Just-in-time data structures

click to vote

INFOCOM
2009
IEEE

191views Communications» more INFOCOM 2009»

Distributed Arrays: A P2P Data Structure for Efficient Logical Arrays

14 years 5 months ago

Download honiden-lab.ex.nii.ac.jp

Daisuke Fukuchi, Christian Sommer 0002, Yuichi Sei...

claim paper

Read More »

click to vote

IROS
2009
IEEE

139views Robotics» more IROS 2009»

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

14 years 5 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

14 years 4 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

14 years 4 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

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers