185 search results - page 14 / 37 » Constructions of Grassmannian Simplices |
LICS
2007
IEEE
15 years 4 months ago
2007
IEEE
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is...
SIBGRAPI
2006
IEEE
15 years 4 months ago
2006
IEEE
Deformable objects play an important role in many applications, such as animation and simulation. Effective computation with deformable surfaces can be achieved through the use of...
WIKIS
2006
ACM
15 years 4 months ago
2006
ACM
The Radeox Wiki markup render engine is a basic component for the construction of a Wiki or any system that wishes to integrate basic Wiki functionality. With the availablility of...
PPOPP
2005
ACM
15 years 3 months ago
2005
ACM
In this paper we present a new form of revocable lock that streamlines the construction of higher level concurrency abstractions such as atomic multi-word heap updates. The key id...
LICS
2003
IEEE
15 years 3 months ago
2003
IEEE
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...