Sciweavers

1200 search results - page 145 / 240
» Marked Ancestor Problems
Sort
View
COMPUTER
2002
79views more  COMPUTER 2002»
15 years 5 months ago
A Practical Architecture for Reliable Quantum Computers
wever, by using a simple model of abstract building blocks: quantum bits, gates, and algorithms, and the available implementation technologies--in all their imperfections.7 The bas...
Mark Oskin, Frederic T. Chong, Isaac L. Chuang
SAT
2005
Springer
129views Hardware» more  SAT 2005»
15 years 11 months ago
On Finding All Minimally Unsatisfiable Subformulas
Much attention has been given in recent years to the problem of finding Minimally Unsatisfiable Subformulas (MUSes) of Boolean formulas. In this paper, we present a new view of the...
Mark H. Liffiton, Karem A. Sakallah
SPAA
2004
ACM
15 years 10 months ago
Online algorithms for prefetching and caching on parallel disks
Parallel disks provide a cost effective way of speeding up I/Os in applications that work with large amounts of data. The main challenge is to achieve as much parallelism as poss...
Rahul Shah, Peter J. Varman, Jeffrey Scott Vitter
EACL
2006
ACL Anthology
15 years 6 months ago
Determining Term Subjectivity and Term Orientation for Opinion Mining
Opinion mining is a recent subdiscipline of computational linguistics which is concerned not with the topic a document is about, but with the opinion it expresses. To aid the extr...
Andrea Esuli, Fabrizio Sebastiani
TITB
2002
76views more  TITB 2002»
15 years 5 months ago
Technology improvements for image-guided and minimally invasive spine procedures
This paper reports on technology developments aimed at improving the state of the art for image-guided minimally invasive spine procedures. Back pain is a major health problem with...
Kevin Cleary, Mark Clifford, Dan Stoianovici, Matt...