Sciweavers

1921 search results - page 149 / 385
» Stereo Without Search
Sort
View
CADE
2004
Springer
16 years 4 months ago
Uniform variable splitting
ended abstract motivates and presents techniques for identifying variable independence in free variable calculi for classical logic without equality. Two variables are called indep...
Roger Antonsen
WISE
2009
Springer
16 years 1 months ago
Finding Comparative Facts and Aspects for Judging the Credibility of Uncertain Facts
Users often encounter unreliable information on the Web, but there is no system to check the credibility easily and efficiently. In this paper, we propose a system to search useful...
Yusuke Yamamoto, Katsumi Tanaka
ISAAC
2009
Springer
150views Algorithms» more  ISAAC 2009»
15 years 10 months ago
Random Generation and Enumeration of Bipartite Permutation Graphs
Connected bipartite permutation graphs without vertex labels are investigated. First, the number of connected bipartite permutation graphs of n vertices is given. Based on the num...
Toshiki Saitoh, Yota Otachi, Katsuhisa Yamanaka, R...
GECCO
2007
Springer
124views Optimization» more  GECCO 2007»
15 years 10 months ago
Origin of bursts
The phenomenon of particle bursts, a well-known feature of PSO is investigated. Their origin is concluded to lie in multiplicative stochasticity, previously encountered in the stu...
Tim Blackwell, Daniel Bratton
ICRA
2003
IEEE
129views Robotics» more  ICRA 2003»
15 years 9 months ago
Trajectory generation for constant velocity target motion estimation using monocular vision
- The performance of monocular vision based target tracking is a strong function of camera motion. Without motion, the target estimation problem is unsolvable. By designing the cam...
Eric W. Frew, Stephen M. Rock