3820 search results - page 649 / 764 » Bounded Model Debugging |
156
click to vote
PODC
2010
ACM
15 years 6 months ago
2010
ACM
An edge dominating set for a graph G is a set D of edges such that each edge of G is in D or adjacent to at least one edge in D. This work studies deterministic distributed approx...
108
click to vote
PODC
2010
ACM
15 years 6 months ago
2010
ACM
We quantify the effect of Bayesian ignorance by comparing the social cost obtained in a Bayesian game by agents with local views to the expected social cost of agents having glob...
113
click to vote
HYBRID
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. A self-triggered control task is one in which the task determines its next release time. It has been conjectured that self-triggering can relax the requirements on a real...
138
click to vote
ICCCN
2007
IEEE
15 years 6 months ago
2007
IEEE
Wireless sensor networks (WSNs) introduce new challenges to topology control due to the prevalence of lossy links. We propose a new topology control formulation for lossy WSNs that...
133
Voted
3DPVT
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper describes methods for segmenting planar surfaces from noisy 3D data obtained from correlation stereo vision. We make use of local planar surface elements called patchle...