476 search results - page 15 / 96 » Higher-Precision Groundness Analysis |
112
click to vote
POPL
2011
ACM
14 years 13 days ago
2011
ACM
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...
IWC
2000
14 years 9 months ago
2000
The practical utility of interactive, user-guided, theorem proving depends on the design of good interaction environments, the study of which should be grounded in methods of rese...
AGP
1998
IEEE
15 years 1 months ago
1998
IEEE
The subject of groundness analysis for (constraint) logic programs has been widely studied, and interesting domains have been proposed. Pos has been recognized as the most suitabl...
ISMIR
2005
Springer
15 years 3 months ago
2005
Springer
The paper presents a grounded theory analysis of 395 user responses to the survey question, “What is the worst song ever?” Important factors uncovered include: lyric quality, ...
67
Voted
NIPS
2003
14 years 11 months ago
2003
Accurate spectral decomposition is essential for the analysis and diagnosis of histologically stained tissue sections. In this paper we present the first automated system for per...