18306 search results - page 392 / 3662 » Algorithmics in Exponential Time |
210
Voted
TITB
2010
15 years 2 months ago
2010
Visualized freehand 3-D ultrasound reconstruction offers to image incremental reconstruction during acquisition and guide users to scan interactively for high-quality volumes. We o...
177
Voted
SAT
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we study NP-hard weighted satisfiability optimization problems for the class 2-CNF providing worst-case upper time bounds. Moreover we consider the monoton...
155
click to vote
EUROPAR
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. We describe a parallel Fortran 77 implementation, in ScaLAPACK style, of a block matrix 1-norm estimator of Higham and Tisseur. This estimator differs from that underlyi...
202
click to vote
TVLSI
2002
15 years 7 months ago
2002
Concurrent error detection (CED) based on time redundancy entails performing the normal computation and the re-computation at different times and then comparing their results. Time...