Sciweavers

2262 search results - page 209 / 453
» Points with large quadrant-depth
Sort
View
DAC
2005
ACM
16 years 7 months ago
Scalable trajectory methods for on-demand analog macromodel extraction
Trajectory methods sample the state trajectory of a circuit as it simulates in the time domain, and build macromodels by reducing and interpolating among the linearizations create...
Saurabh K. Tiwary, Rob A. Rutenbar
MICCAI
2005
Springer
16 years 7 months ago
Finite Element Modeling of Brain Tumor Mass-Effect from 3D Medical Images
Motivated by the need for methods to aid the deformable registration of brain tumor images, we present a three-dimensional (3D) mechanical model for simulating large non-linear def...
Ashraf Mohamed, Christos Davatzikos
CAV
2009
Springer
187views Hardware» more  CAV 2009»
16 years 7 months ago
A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints
We describe a Markov chain Monte Carlo (MCMC)-based algorithm for sampling solutions to mixed Boolean/integer constraint problems. The focus of this work differs in two points from...
Nathan Kitchen, Andreas Kuehlmann
EWSN
2009
Springer
16 years 7 months ago
MVSink: Incrementally Building In-Network Aggregation Trees
Abstract. In-network data aggregation is widely recognized as an acceptable means to reduce the amount of transmitted data without adversely affecting the quality of the results. T...
Leonardo L. Fernandes, Amy L. Murphy
RECOMB
2007
Springer
16 years 6 months ago
QNet: A Tool for Querying Protein Interaction Networks
Molecular interaction databases can be used to study the evolution of molecular pathways across species. Querying such pathways is a challenging computational problem, and recent e...
Banu Dost, Tomer Shlomi, Nitin Gupta 0002, Eytan R...