1763 search results - page 164 / 353 » A Formalization of Polytime Functions |
128
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
152
click to vote
SIGIR
2011
ACM
14 years 7 months ago
2011
ACM
Searching is inherently an interactive process usually requiring numerous iterations of querying and assessing in order to find the desired amount of relevant information. Essent...
181
Voted
SIGMOD
2011
ACM
14 years 7 months ago
2011
ACM
Projective Clustering Ensembles (PCE) are a very recent advance in data clustering research which combines the two powerful tools of clustering ensembles and projective clustering...
259
click to vote
ALT
2011
Springer
14 years 4 months ago
2011
Springer
Deep architectures are families of functions corresponding to deep circuits. Deep Learning algorithms are based on parametrizing such circuits and tuning their parameters so as to ...
182
click to vote
AOSD
2012
ACM
13 years 12 months ago
2012
ACM
Aspect-Oriented Programming (AOP) started fifteen years ago with the remark that modularization of so-called crosscutting functionalities is a fundamental problem for the enginee...