329 search results - page 11 / 66 » SLX: the X is for extensibility |
JSYML
2000
13 years 7 months ago
2000
The choice construct (choose x : '(x)) is useful in software speci cations. We study extensions of rst-order logic with the choice construct. We prove some results about Hilb...
VRML
2010
ACM
13 years 11 months ago
2010
ACM
We propose a number of X3D extensions to enable shadows in the virtual worlds. Our higher-level extensions are an easy way to request shadows independently of their implementation...
USENIX
2004
13 years 9 months ago
2004
The common usage patterns of 2D drivers for the X Window System have changed over time. New extensions such as Render and Composite are creating new demands for 2D rendering which...
AGP
1999
IEEE
14 years 7 days ago
1999
IEEE
In this paper we present a novel extension to the constraint logic programming on Finite Domains (clp(FD)) which combines the usual clp(FD) primitive constraint X in range with a ...
INDOCRYPT
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. From several decades, non-adjacent form (NAF) representations for integers have been extensively studied as an alternative to the usual binary number system where digits ...