Sciweavers

12707 search results - page 2132 / 2542
» A Distributed Arc-Consistency Algorithm
Sort
View
LCN
2006
IEEE
16 years 25 days ago
ZONER: A ZONE-based Sensor Relocation Protocol for Mobile Sensor Networks
— In mobile sensor networks, self-deployment and relocation are two different research issues, both of which involve autonomous sensor movement. They share in most cases a common...
Xu Li, Nicola Santoro
MMM
2006
Springer
128views Multimedia» more  MMM 2006»
16 years 25 days ago
An improved distortion model for rate control of DCT-based video coding
This paper presents a rate control algorithm for the dominant discrete cosine transform (DCT) -based video coding. It is developed based on a more accurate rate-distortion (RD) mo...
Jun Xie, Liang-Tien Chia, Bu-Sung Lee
QEST
2006
IEEE
16 years 25 days ago
Strategy Improvement for Concurrent Reachability Games
A concurrent reachability game is a two-player game played on a graph: at each state, the players simultaneously and independently select moves; the two moves determine jointly a ...
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. H...
SYNASC
2006
IEEE
106views Algorithms» more  SYNASC 2006»
16 years 25 days ago
A Quality Measure for Multi-Level Community Structure
Mining relational data often boils down to computing clusters, that is finding sub-communities of data elements forming cohesive sub-units, while being well separated from one an...
Maylis Delest, Jean-Marc Fedou, Guy Melanço...
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
16 years 25 days ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
« Prev « First page 2132 / 2542 Last » Next »