Sciweavers

251 search results - page 46 / 51
» Hierarchical Modeling and Simulation of Large Analog Circuit...
Sort
View
DAC
1998
ACM
13 years 11 months ago
OCCOM: Efficient Computation of Observability-Based Code Coverage Metrics for Functional Verification
—Functional simulation is still the primary workhorse for verifying the functional correctness of hardware designs. Functional verification is necessarily incomplete because it i...
Farzan Fallah, Srinivas Devadas, Kurt Keutzer
BIOSYSTEMS
2007
90views more  BIOSYSTEMS 2007»
13 years 7 months ago
Directional hearing in a silicon cricket
10 Phonotaxis is the ability to orient towards or away from sound sources. Crickets can locate conspecifics by phonotaxis to the calling (mating) song they produce, and can evade ...
Richard E. Reeve, André van Schaik, Craig T...
SMA
2009
ACM
223views Solid Modeling» more  SMA 2009»
14 years 2 months ago
Particle-based forecast mechanism for continuous collision detection in deformable environments
Collision detection in geometrically complex scenes is crucial in physical simulations and real time applications. Works based on spatial hierarchical structures have been propose...
Thomas Jund, David Cazier, Jean-François Du...
BMCBI
2006
156views more  BMCBI 2006»
13 years 7 months ago
Bayesian models for pooling microarray studies with multiple sources of replications
Background: Biologists often conduct multiple but different cDNA microarray studies that all target the same biological system or pathway. Within each study, replicate slides with...
Erin M. Conlon, Joon J. Song, Jun S. Liu
IROS
2009
IEEE
205views Robotics» more  IROS 2009»
14 years 2 months ago
Model-based and learned semantic object labeling in 3D point cloud maps of kitchen environments
Abstract— We report on our experiences regarding the acquisition of hybrid Semantic 3D Object Maps for indoor household environments, in particular kitchens, out of sensed 3D poi...
Radu Bogdan Rusu, Zoltan Csaba Marton, Nico Blodow...