1209 search results - page 110 / 242 » Universal Algebra and Computer Science |
231
click to vote
PODS
2009
ACM
16 years 3 months ago
2009
ACM
As advances in technology allow for the collection, storage, and analysis of vast amounts of data, the task of screening and assessing the significance of discovered patterns is b...
160
click to vote
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
Over the past decade, multiple-instance learning (MIL)
has been successfully utilized to model the localized
content-based image retrieval (CBIR) problem, in which a
bag corresp...
131
click to vote
DAC
2008
ACM
16 years 4 months ago
2008
ACM
ng Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation Yan Chen Dept. of Computer Science Portland State University Portland, OR, 97207 chenyan@cs.pdx.e...
122
Voted
DAC
2001
ACM
16 years 4 months ago
2001
ACM
An approach for factoring general boolean functions was described in [15, 16] which is based on graph partitioning algorithms. In this paper, we present a very fast algorithm for ...
101
Voted
SIGCSE
2006
ACM
15 years 9 months ago
2006
ACM
This paper describes an initiative at North Carolina State University in which the undergraduate software engineering class was restructured in layout and in presentation. The cha...