2297 search results - page 222 / 460 » An Algorithm for Computing the Integral Closure |
131
click to vote
FOCS
2008
IEEE
15 years 10 months ago
2008
IEEE
We show that for k ≥ 3 even the Ω(n) level of the Lasserre hierarchy cannot disprove a random k-CSP instance over any predicate type implied by k-XOR constraints, for example ...
137
Voted
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we present the design and implementation of Ovid, a browser for Grid-related information. The key goal of Ovid is to support the seamless navigation of users in the...
137
click to vote
DAC
2006
ACM
15 years 10 months ago
2006
ACM
Microfluidics-based biochips, also referred to as lab-on-a-chip (LoC), are devices that integrate fluid-handling functions such as sample preparation, analysis, separation, and de...
DAC
2006
ACM
15 years 10 months ago
2006
ACM
How can design teams employ new tools and develop response methodologies yet still stay within design budgets? How much effort does it require to be an early adopter and what kind...
138
click to vote
CSB
2005
IEEE
15 years 9 months ago
2005
IEEE
Cutting-edge biological and bioinformatics research seeks a systems perspective through the analysis of multiple types of high-throughput and other experimental data for the same ...