Sciweavers

2522 search results - page 95 / 505
» From Self-Organized Systems to Collective Problem Solving
Sort
View
KBSE
2009
IEEE
14 years 2 months ago
Cache-Based Model Checking of Networked Applications: From Linear to Branching Time
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
Cyrille Artho, Watcharin Leungwattanakit, Masami H...
COLT
2003
Springer
14 years 1 months ago
On Finding Large Conjunctive Clusters
We propose a new formulation of the clustering problem that differs from previous work in several aspects. First, the goal is to explicitly output a collection of simple and meani...
Nina Mishra, Dana Ron, Ram Swaminathan
CVPR
1997
IEEE
14 years 2 hour ago
Ego-Motion Estimation Using Optical Flow Fields Observed from Multiple Cameras
In this paper, we consider a multi-camera vision system mounted on a moving object in a static threedimensional environment. By using the motion ow elds seen by all of the cameras...
An-Ting Tsao, Chiou-Shann Fuh, Yi-Ping Hung, Yong-...
VIIP
2001
13 years 9 months ago
View-dependent Deformation for Virtual Human Modeling from Silhouettes
The primary objective of this research work is to develop an efficient and intuitive deformation technique for virtual human modeling by silhouettes input. With our method, the re...
Charlie C. L. Wang, Yu Wang 0010, Matthew Ming-Fai...
ICIP
2005
IEEE
14 years 9 months ago
Estimating sub-pixel shifts directly from the phase difference
In this paper, we establish the exact relationship between the continuous and the discrete phase-difference of two shifted images, and show that their discrete phase difference is...
Murat Balci, Hassan Foroosh