Sciweavers

6202 search results - page 358 / 1241
» Without Loss of Generality
Sort
View
224
Voted
ICCVW
1999
Springer
15 years 11 months ago
Direct Recovery of Planar-Parallax from Multiple Frames
In this paper we present an algorithm that estimates dense planar-parallax motion from multiple uncalibrated views of a 3D scene. This generalizes the \plane + parallax" recov...
Michal Irani, P. Anandan, Meir Cohen
CONCUR
1997
Springer
15 years 11 months ago
Bounded Stacks, Bags and Queues
We prove that a bounded stack can be specified in process algebra with just the operators alternative and sequential composition and iteration. The bounded bag cannot be specified ...
Jos C. M. Baeten, Jan A. Bergstra
DEXA
1993
Springer
121views Database» more  DEXA 1993»
15 years 11 months ago
HyperPATH/O2: Integrating Hypermedia Systems with Object-Oriented Database Systems
We describe an integration of the hypermedia system HyperPATH with the object-oriented DBMS (OODBMS) O¡ . Providing persistence to a hypertext system was the first motivation of...
Bernd Amann, Vassilis Christophides, Michel Scholl
ROBOCUP
2000
Springer
146views Robotics» more  ROBOCUP 2000»
15 years 10 months ago
Observation Strategy for Decision Making Based on Information Criterion
Self localization seems necessary for mobile robot navigation. The conventional method such as geometric reconstruction from landmark observations is generally time-consuming and ...
Noriaki Mitsunaga, Minoru Asada
DAC
1995
ACM
15 years 10 months ago
Interval Scheduling: Fine-Grained Code Scheduling for Embedded Systems
Abstract A central problem in embedded system co-synthesis is the generation of software for lowlevel I O. Scheduling still remains a manual task because existing coarse-grained re...
Pai H. Chou, Gaetano Borriello