868 search results - page 74 / 174 » A new approach for factorizing FSM's |
110
Voted
SIAMCOMP
1998
15 years 7 days ago
1998
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...
137
click to vote
ASE
2011
14 years 4 months ago
2011
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...
106
Voted
MICCAI
2003
Springer
16 years 1 months ago
2003
Springer
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...
107
Voted
ISBI
2004
IEEE
16 years 1 months ago
2004
IEEE
DCE-MRI is a noninvasive functional imaging technique capable of assessing tumor microvasculature clinically. Major limitations associated with conventional region-of-interest (RO...
109
click to vote
VLSID
2002
IEEE
16 years 29 days ago
2002
IEEE
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...