Sciweavers

868 search results - page 74 / 174
» A new approach for factorizing FSM's
Sort
View
SIAMCOMP
1998
125views more  SIAMCOMP 1998»
14 years 9 months ago
Free Bits, PCPs, and Nonapproximability-Towards Tight Results
This paper continues the investigation of the connection between probabilistically checkable proofs (PCPs) and the approximability of NP-optimization problems. The emphasis is on p...
Mihir Bellare, Oded Goldreich, Madhu Sudan
ASE
2011
14 years 1 months ago
Alattin: mining alternative patterns for defect detection
Abstract To improve software quality, static or dynamic defect-detection tools accept programming rules as input and detect their violations in software as defects. As these progra...
Suresh Thummalapenta, Tao Xie
MICCAI
2003
Springer
15 years 11 months ago
Pathology Growth Model Based on Particles
Virtual reality based surgical simulators offer the possibility to provide training on a wide range of findings of different pathologies. Current research aims at a high fidelity h...
Raimundo Sierra, Michael Bajka, Gábor Sz&ea...
ISBI
2004
IEEE
15 years 10 months ago
Simultaneous Estimation of Kinetic Parameters and the Input Function from DCE-MRI Data: Theory and Simulation
DCE-MRI is a noninvasive functional imaging technique capable of assessing tumor microvasculature clinically. Major limitations associated with conventional region-of-interest (RO...
Zhu Han, Z. Jane Wang, K. J. Ray Liu, Yue Wang
89
Voted
VLSID
2002
IEEE
105views VLSI» more  VLSID 2002»
15 years 10 months ago
A Heuristic for Clock Selection in High-Level Synthesis
Clock selection has a significant impact on the performance and quality of designs in high-level synthesis. In most synthesis systems, a convenient value of the clock is chosen or...
J. Ramanujam, Sandeep Deshpande, Jinpyo Hong, Mahm...