409 search results - page 33 / 82 » An Algorithm for Isolating the Real Solutions of Semi-algebr... |
PLDI
1997
ACM
13 years 11 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
ICIP
2001
IEEE
14 years 9 months ago
2001
IEEE
In this paper, we present a new 3D camera motion estimationtechniqueusingopticalflow froma pairof imagestaken under a perspective projection. The problem formulation leads to the ...
CTW
2006
13 years 7 months ago
2006
Organizations with different cultures will be increasingly required to interface with each other as legislation is introduced to ensure the interoperability of railway systems acr...
SUTC
2006
IEEE
14 years 1 months ago
2006
IEEE
Security in wireless ad hoc networks is hard to achieve due to the vulnerability of its links, limited physical protection, and the absence of a centralized management point. Cons...
CVIU
2006
13 years 7 months ago
2006
In many multi-camera vision systems the effect of camera locations on the task-specific quality of service is ignored. Researchers in Computational Geometry have proposed elegant ...