626 search results - page 73 / 126 » When Can Formal Methods Make a Real Difference |
163
Voted
ICTAI
2009
IEEE
15 years 1 months ago
2009
IEEE
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...
117
Voted
MMNS
2004
15 years 4 months ago
2004
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...
130
Voted
GLOBECOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— 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...
136
click to vote
SSR
2001
15 years 4 months ago
2001
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...
144
click to vote
ECCV
2002
Springer
16 years 5 months ago
2002
Springer
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...