Sciweavers

2333 search results - page 355 / 467
» Recursive Computational Depth
Sort
View
CVPR
1997
IEEE
14 years 12 days ago
Multi-Modal Tracking of Faces for Video Communications
This paper describes a system which uses multiple visual processes to detect and track faces for video compression and transmission. The system is based on an architecture in whic...
James L. Crowley, François Bérard
LICS
1996
IEEE
14 years 10 days ago
Integration in Real PCF
Real PCF is an extension of the programming language PCF with a data type for real numbers. Although a Real PCF definable real number cannot be computed in finitely many steps, it...
Abbas Edalat, Martín Hötzel Escard&oac...
FOCS
1992
IEEE
14 years 8 days ago
Efficient Inference of Partial Types
Partial types for the -calculus were introduced by Thatte in 1988 [3] as a means of typing objects that are not typable with simple types, such as heterogeneous lists and persiste...
Dexter Kozen, Jens Palsberg, Michael I. Schwartzba...
ICCV
1995
IEEE
13 years 11 months ago
Complete Scene Structure from Four Point Correspondences
A new technique is presented for computing 3D scene structure from point and line features in monocular image sequences. Unlike previous methods, the technique guarantees the comp...
Steven M. Seitz, Charles R. Dyer
GCA
2007
13 years 9 months ago
Fault-Tolerant Job Execution over Multi-Clusters Using Mobile Agents
AgentTeamwork is a mobile-agent-based job coordination system that targets a mixture of computing nodes, some directly connected to the public Internet and others simply clustered...
Munehiro Fukuda, Emory Horvath, Solomon Lane