Sciweavers

7978 search results - page 791 / 1596
» Combining shared-coin algorithms
Sort
View
SAS
2007
Springer
124views Formal Methods» more  SAS 2007»
16 years 1 months ago
Arithmetic Strengthening for Shape Analysis
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
Stephen Magill, Josh Berdine, Edmund M. Clarke, By...
INFOCOM
2006
IEEE
16 years 1 months ago
On Hybrid Collision Control for IEEE 802.11 Ad-Hoc Networks
— We present in this work a new mechanism based on an innovative hybrid approach for traffic and collision control in wireless ad hoc networks. We combine the well known equatio...
Hicham Khalife
CSB
2005
IEEE
115views Bioinformatics» more  CSB 2005»
16 years 1 months ago
Mining Protein Sequence Motifs Representing Common 3D Structures
Understanding the relationship between protein structure and its sequence is one of the most important tasks of current bioinformatics research. In this work, recurring protein se...
Wei Zhong, Gulsah Altun, Robert W. Harrison, Phang...
DFMA
2005
IEEE
150views Multimedia» more  DFMA 2005»
16 years 1 months ago
Real-Time Treatment Planning Optimisation for Brachytherapy
In this paper, we present an integrated system for real-time dose distribution calculation and treatment planning optimisation for brachytherapy of prostate cancer, with a special...
Simon Chatelain, Jean-Philippe Thiran, Valery-Oliv...
ICMCS
2005
IEEE
66views Multimedia» more  ICMCS 2005»
16 years 1 months ago
Automatic crossover frequency selection for multichannel home-theater applications
Given a multichannel loudspeaker system, the selection of the crossover frequency between the sub-woofer and the satellite speakers is important for accurate (i.e., distortionfree...
Sunil Bharitkar, Chris Kyriakakis