Sciweavers

3238 search results - page 152 / 648
» On the Computational Interpretation of Negation
Sort
View
DAC
2003
ACM
15 years 11 months ago
Instruction set compiled simulation: a technique for fast and flexible instruction set simulation
Instruction set simulators are critical tools for the exploration and validation of new programmable architectures. Due to increasing complexity of the architectures and timeto-ma...
Mehrdad Reshadi, Prabhat Mishra, Nikil D. Dutt
BMCBI
2006
108views more  BMCBI 2006»
15 years 6 months ago
Probe set algorithms: is there a rational best bet?
Affymetrix microarrays have become a standard experimental platform for studies of mRNA expression profiling. Their success is due, in part, to the multiple oligonucleotide featur...
Jinwook Seo, Eric P. Hoffman
VL
2007
IEEE
125views Visual Languages» more  VL 2007»
16 years 23 days ago
Visual Reasoning by Generalized Interval-values and Interval Temporal Logic
Interval-valued computation is an unconventional computing paradigm. It is an idealization of classical 16-, 32-, 64- etc. bit based computations. It represents data as specific ...
Benedek Nagy, Sándor Vályi
ICCV
1999
IEEE
16 years 8 months ago
Learning-based Object Detection in Cardiac MR Images
An automated method for left ventricle detection in MR cardiac images is presented. Ventricle detection is the rst step in a fully automated segmentation system used to compute vo...
Nicolae Duta, Anil K. Jain, Marie-Pierre Dubuisson...
DAC
2008
ACM
16 years 7 months ago
Path smoothing via discrete optimization
A fundamental problem in timing-driven physical synthesis is the reduction of critical paths in a design. In this work, we propose a powerful new technique that moves (and can als...
Michael D. Moffitt, David A. Papa, Zhuo Li, Charle...