1686 search results - page 283 / 338 » Programs as polygraphs: computability and complexity |
101
Voted
DAC
2008
ACM
16 years 1 months ago
2008
ACM
Due to recent advances in microfluidics technology, digital microfluidic biochips and their associated CAD problems have gained much attention, most of which has been devoted to d...
115
Voted
DAC
2002
ACM
16 years 1 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
DAC
2003
ACM
16 years 1 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
116
Voted
ICML
2006
IEEE
16 years 1 months ago
2006
IEEE
Clustering is one of the most widely used statistical tools for data analysis. Among all existing clustering techniques, k-means is a very popular method because of its ease of pr...
100
click to vote
ICML
1996
IEEE
16 years 1 months ago
1996
IEEE
Within Valiant'smodel of learning as formalized by Kearns, we show that computable total predicates for two formallyuncomputable problems the classical Halting Problem, and t...