Sciweavers

428 search results - page 68 / 86
» An asynchronous complete method for distributed constraint o...
Sort
View
SCP
2010
155views more  SCP 2010»
14 years 10 months ago
Type inference and strong static type checking for Promela
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
Alastair F. Donaldson, Simon J. Gay
IJCV
2002
240views more  IJCV 2002»
14 years 11 months ago
Self-Calibration of Rotating and Zooming Cameras
In this paper we describe the theory and practice of self-calibration of cameras which are fixed in location and may freely rotate while changing their internal parameters by zoomi...
Lourdes de Agapito, Eric Hayman, Ian D. Reid
103
Voted
ICCV
2009
IEEE
14 years 9 months ago
Face alignment through subspace constrained mean-shifts
Deformable model fitting has been actively pursued in the computer vision community for over a decade. As a result, numerous approaches have been proposed with varying degrees of ...
Jason M. Saragih, Simon Lucey, Jeffrey F. Cohn
INFOCOM
2011
IEEE
14 years 3 months ago
Consort: Node-Constrained Opportunistic Routing in wireless mesh networks
— Opportunistic routing is proposed to improve the performance of wireless networks by exploiting the broadcast nature and spatial diversity of the wireless medium. In this paper...
Xi Fang, Dejun Yang, Guoliang Xue
ATAL
2010
Springer
15 years 25 days ago
Deception in networks of mobile sensing agents
Recent studies have investigated how a team of mobile sensors can cope with real world constraints, such as uncertainty in the reward functions, dynamically appearing and disappea...
Viliam Lisý, Roie Zivan, Katia P. Sycara, M...