1812 search results - page 309 / 363 » Test Early, Test Often |
118
Voted
ICCAD
2001
IEEE
16 years 11 days ago
2001
IEEE
We present a two-level Boolean minimization tool (BOOM) based on a new implicant generation paradigm. In contrast to all previous minimization methods, where the implicants are ge...
129
Voted
SOSP
2007
ACM
16 years 11 days ago
2007
ACM
The rise of the software-as-a-service paradigm has led to the development of a new breed of sophisticated, interactive applications often called Web 2.0. While web applications ha...
141
Voted
CSCW
2010
ACM
16 years 11 days ago
2010
ACM
People are often required to catch up on information they have missed in meetings, because of lateness or scheduling conflicts. Catching up is a complex cognitive process where pe...
115
Voted
CVPR
2010
IEEE
15 years 12 months ago
2010
IEEE
We present an algorithm that learns invariant features from real data in an entirely unsupervised fashion. The principal benefit of our method is that it can be applied without hu...
122
click to vote
RECOMB
2010
Springer
15 years 10 months ago
2010
Springer
Constructing quantitative dynamic models of signaling pathways is an important task for computational systems biology. Pathway model construction is often an inherently incremental...