7215 search results - page 1398 / 1443 » On the Consistency of Ranking Algorithms |
174
click to vote
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
A common and practical paradigm in cooperative communications is the use of a dynamically selected 'best' relay to decode and forward information from a source to a dest...
151
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
168
click to vote
ESWS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. The current state of the art regarding scalable reasoning consists of programs that run on a single machine. When the amount of data is too large, or the logic is too com...
184
click to vote
BROADNETS
2006
IEEE
15 years 9 months ago
2006
IEEE
Sensor webs are heterogeneous collections of sensor devices that collect information and interact with the environment. They consist of wireless sensor networks that are ensembles ...
177
click to vote
DATE
2004
IEEE
15 years 9 months ago
2004
IEEE
Designing custom-extensible instructions for Extensible Processors1 is a computationally complex task because of the large design space. The task of automatically matching candida...