2846 search results - page 45 / 570 » Believe it or Not |
158
click to vote
KDD
2002
ACM
16 years 6 months ago
2002
ACM
We present a closed set data mining paradigm which is particularly e ective for uncovering the kind of deterministic, causal dependencies that characterize much of basic science. ...
188
click to vote
VLSID
2008
IEEE
16 years 6 months ago
2008
IEEE
This paper demonstrates a formal verificationplanning process and presents associated verification strategy that we believe is an essential (yet often neglected) step in an ASIC o...
227
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
In this paper we introduce the webpage understanding problem which consists of three subtasks: webpage segmentation, webpage structure labeling, and webpage text segmentation and ...
207
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Date's popular critique of SQL's three-valued logic [4, 3] purports to demonstrate that SQL queries can produce erroneous results when nulls are present in the database....
144
click to vote
ICSE
2007
IEEE-ACM
2007
IEEE-ACM
Design and Evaluation of a Diagrammatic Notation to Aid in the Understanding of Concurrency Concepts
16 years 6 months ago
It is generally accepted that concurrency can be difficult for students to reason about and to manage. While some studies provide insight into the nature of these difficulties[6],...