Sciweavers

2229 search results - page 150 / 446
» The Case for Grounding Databases
Sort
View
ICLP
2004
Springer
15 years 11 months ago
Termination of Logic Programs Using Various Dynamic Selection Rules
Abstract. We study termination of logic programs with dynamic scheduling, as it can be realised using delay declarations. Following previous work, our minimum assumption is that de...
Jan-Georg Smaus
CGI
2003
IEEE
15 years 11 months ago
Fast Volumetric Display of Natural Gaseous Phenomena
Mesh simplification algorithms play an important role in computer graphics. In particular, view-dependent simplification methods are utilized widely to reduce the geometric comp...
Stefan Röttger, Thomas Ertl
164
Voted
ICAT
2003
IEEE
15 years 11 months ago
Effective Output Patterns for Torque Display
In the previous paper in ICAT2002, we reported that a non-grounded palm-top torque display "GyroCube" was developed. Although it requires no grounding base for supportin...
Masataka Sakai, Yukio Fukui, Norio Nakamura
IEEEAMS
2003
IEEE
15 years 11 months ago
Kinesthetics eXtreme: An External Infrastructure for Monitoring Distributed Legacy Systems
Autonomic computing – self-configuring, self-healing, self-optimizing applications, systems and networks – is widely believed to be a promising solution to everincreasing syst...
Gail E. Kaiser, Janak J. Parekh, Philip Gross, Giu...
SPAA
2003
ACM
15 years 11 months ago
Nonblocking k-compare-single-swap
The current literature offers two extremes of nonblocking software synchronization support for concurrent data structure design: intricate designs of specific structures based o...
Victor Luchangco, Mark Moir, Nir Shavit