5608 search results - page 893 / 1122 » On the Theory of Matchgate Computations |
182
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
Multiview video coding (MVC) is currently under development by the Joint Video Team (JVT) as an extension to Advanced Video Coding (H264/AVC). Based on the suppression theory in b...
145
click to vote
RTCSA
2008
IEEE
16 years 29 days ago
2008
IEEE
Real-time information dissemination is of increasing importance to our society. Existing work mainly focuses on delivering information from sources to sinks in a timely manner bas...
161
click to vote
RTSS
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
192
click to vote
TPHOL
2008
IEEE
16 years 28 days ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
178
click to vote
WCNC
2008
IEEE
16 years 28 days ago
2008
IEEE
—In this paper, we study the election of multiple leaders for intrusion detection in the presence of selfish nodes in mobile ad hoc networks (MANETs). To balance the resource co...