12774 search results - page 2442 / 2555 » A Framework for Proof Systems |
221
click to vote
SAS
1992
Springer
15 years 10 months ago
1992
Springer
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
189
click to vote
SIGGRAPH
1992
ACM
15 years 10 months ago
1992
ACM
This paper discusses how interval analysis can be used to solve a wide variety of problems in computer graphics. These problems include ray tracing, interference detection, polygo...
155
click to vote
ACMACE
2007
ACM
15 years 10 months ago
2007
ACM
We present a system that allows users of any skill to conduct a virtual orchestra. Tempo and volume of the orchestra's performance are influenced with a baton. Pinocchio work...
170
click to vote
CCGRID
2009
IEEE
15 years 10 months ago
2009
IEEE
In recent years the power of Grid computing has grown exponentially through the development of advanced middleware systems. While usage has increased, the penetration of Grid compu...
179
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
Web-based social systems enable new community-based opportunities for participants to engage, share, and interact. This community value and related services like search and advert...