Sciweavers

3019 search results - page 232 / 604
» Approximating the Domatic Number
Sort
View
LPAR
2010
Springer
15 years 4 months ago
Verifying Pointer and String Analyses with Region Type Systems
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
Lennart Beringer, Robert Grabowski, Martin Hofmann
PCM
2010
Springer
145views Multimedia» more  PCM 2010»
15 years 4 months ago
Efficient Coding of Motion Vector Predictor Using Phased-in Code
The H.264/AVC video coding standard performs inter prediction using variable block sizes to improve coding efficiency. Since we predict not only the motion of the homogeneous regio...
Ji-Hee Moon, Yo-Sung Ho
PKDD
2010
Springer
179views Data Mining» more  PKDD 2010»
15 years 4 months ago
Gaussian Processes for Sample Efficient Reinforcement Learning with RMAX-Like Exploration
Abstract. We present an implementation of model-based online reinforcement learning (RL) for continuous domains with deterministic transitions that is specifically designed to achi...
Tobias Jung, Peter Stone
SIGSOFT
2010
ACM
15 years 4 months ago
Developer fluency: achieving true mastery in software projects
Outsourcing and offshoring lead to a rapid influx of new developers in software projects. That, in turn, manifests in lower productivity and project delays. To address this common...
Minghui Zhou, Audris Mockus
ICC
2009
IEEE
135views Communications» more  ICC 2009»
15 years 4 months ago
Load Aware Broadcast in Mobile Ad Hoc Networks
In a wireless ad hoc network, the main issue of a good broadcast protocol is to attain maximum reachability with minimal packet forwarding. Existing protocols address this issue by...
Md. Tanvir Al Amin, Sukarna Barua, Sudip Vhaduri, ...