2526 search results - page 107 / 506 » A New Algorithm for Answer Set Computation |
104
click to vote
APVIS
2008
15 years 4 months ago
2008
Motivated by the growing interest in the use of ridges in scientific visualization, we analyze the two height ridge definitions by Eberly and Lindeberg. We propose a raw feature d...
122
Voted
ITICSE
2000
ACM
15 years 7 months ago
2000
ACM
In this paper, we present ANIMAL, a new tool for developing animations to be used in lectures. ANIMAL offers a small but powerful set of graphical operators. Animations are genera...
141
Voted
HIPC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Lock-free shared data structures in the setting of distributed computing have received a fair amount of attention. Major motivations of lock-free data structures include ...
139
Voted
TLCA
2005
Springer
15 years 8 months ago
2005
Springer
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
107
click to vote
POPL
1997
ACM
15 years 6 months ago
1997
ACM
As parallel machines become part of the mainstream computing environment, compilers will need to apply synchronization optimizations to deliver e cient parallel software. This pap...