Sciweavers

1626 search results - page 123 / 326
» Computing the Types of the Relationships between Autonomous ...
Sort
View
ICCV
2003
IEEE
14 years 10 months ago
Linear Multi-View Reconstruction of Points, Lines, Planes and Cameras using a Reference Plane
This paper presents a new linear method for reconstructing simultaneously 3D features (points, lines and planes) and cameras from many perspective views by solving a single linear...
Carsten Rother
OOPSLA
1995
Springer
14 years 13 days ago
Subtypes vs. Where Clauses: Constraining Parametric Polymorphism
All object-oriented languages provide support for subtype polymorphism, which allows the writing of generic code that works for families of related types. There is also a need, ho...
Mark Day, Robert Gruber, Barbara Liskov, Andrew C....
CONCUR
2009
Springer
14 years 3 months ago
Contracts for Mobile Processes
Theories identifying well-formed systems of processes—those that are free of communication errors and enjoy strong properties such as deadlock freedom—are based either on sessi...
Giuseppe Castagna, Luca Padovani
CRV
2009
IEEE
206views Robotics» more  CRV 2009»
14 years 3 months ago
Unsupervised Learning of Terrain Appearance for Automated Coral Reef Exploration
We describe a navigation and coverage system based on unsupervised learning driven by visual input. Our objective is to allow a robot to remain continuously moving above a terrain...
Philippe Giguère, Gregory Dudek, Chris Prah...

Publication
269views
15 years 7 months ago
Models of Transportation and Land Use Change:  A Guide to the Territory
Modern urban regions are highly complex entities. Despite the difficulty of modeling every relevant aspect of an urban region, researchers have produced a rich variety of models de...
Michael Iacono, David Levinson, Ahmed El-Geneidy