Sciweavers

626 search results - page 73 / 126
» When Can Formal Methods Make a Real Difference
Sort
View
163
Voted
ICTAI
2009
IEEE
15 years 1 months ago
A Generalized Cyclic-Clustering Approach for Solving Structured CSPs
We propose a new method for solving structured CSPs which generalizes and improves the Cyclic-Clustering approach [4]. First, the cutset and the tree-decomposition of the constrai...
Cédric Pinto, Cyril Terrioux
117
Voted
MMNS
2004
106views Multimedia» more  MMNS 2004»
15 years 4 months ago
Content-Based Adaptation of Streamed Multimedia
Most adaptive delivery mechanisms for streaming multimedia content do not explicitly consider user-perceived quality when making adaptation decisions. We show that an optimal adap...
Nicola Cranley, Liam Murphy, Philip Perry
130
Voted
GLOBECOM
2006
IEEE
15 years 9 months ago
A Coverage-Preserving and Hole Tolerant Based Scheme for the Irregular Sensing Range in Wireless Sensor Networks
— Coverage is an important issue related to WSN quality of service. Several centralized/decentralized solutions based on the geometry information of sensors and under the assumpt...
Azzedine Boukerche, Xin Fei, Regina Borges de Arau...
SSR
2001
104views more  SSR 2001»
15 years 4 months ago
Secure and efficient mobile agent application reuse using patterns
As wide-area open networks like the Internet and intranets grow larger, mobile agent technology is attracting more attention. Mobile agents are units of software that can deal wit...
Yasuyuki Tahara, Nobukazu Toshiba, Akihiko Ohsuga,...
ECCV
2002
Springer
16 years 5 months ago
Probabilistic and Voting Approaches to Cue Integration for Figure-Ground Segmentation
This paper describes techniques for fusing the output of multiple cues to robustly and accurately segment foreground objects from the background in image sequences. Two different m...
Eric Hayman, Jan-Olof Eklundh