9359 search results - page 584 / 1872 » Generalization Algorithms for Second-Order Terms |
178
click to vote
ISPD
2005
ACM
16 years 18 days ago
2005
ACM
In this paper, we develop a mixed-size placement tool, Dragon2005, to solve large scale placement problems effectively. A top-down hierarchical approach based on min-cut partition...
164
click to vote
ITICSE
2005
ACM
16 years 18 days ago
2005
ACM
This paper describes research on the perception of undergraduate students of the concept of reduction. Specifically, based on an analysis of students' answers to questions ad...
175
click to vote
JCDL
2005
ACM
16 years 18 days ago
2005
ACM
In this paper, we consider the problem of ambiguous author names in bibliographic citations, and comparatively study alternative approaches to identify and correct such name varia...
170
click to vote
KCAP
2005
ACM
16 years 18 days ago
2005
ACM
For decades, researchers in knowledge representation (KR) have argued for and against various choices in KR formalisms, such as Rules, Frames, Semantic nets, and Formal logic. In ...
170
click to vote
MM
2005
ACM
16 years 18 days ago
2005
ACM
We present the MusicSurfer, a metadata free system for the interaction with massive collections of music. MusicSurfer automatically extracts descriptions related to instrumentatio...