9284 search results - page 479 / 1857 » Knowledge State Algorithms |
202
click to vote
ICIP
2007
IEEE
16 years 9 months ago
2007
IEEE
Abstract-- This paper presents an edge-directed image interpolation algorithm. In the proposed algorithm, the edge directions are implicitly estimated with a statistical-based appr...
228
click to vote
ICC
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract—In this paper, we introduce a framework for distributed opportunistic scheduling in multihop wireless ad hoc networks. With the proposed framework, one can take a schedu...
228
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper addresses the problem of designing a power-aware Multiple Access Control (MAC) protocol for Multihop Wireless Networks (MHWN). The problem is formulated as a cross l...
204
click to vote
CAV
2005
Springer
16 years 1 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
153
click to vote
DATE
2010
IEEE
16 years 20 days ago
2010
IEEE
—With the prospect of atomic-scale computing, we study cumulative energy profiles of spin-spin interactions in nonferromagnetic lattices (Ising spin-glasses)—an established to...