Sciweavers

2841 search results - page 87 / 569
» A Call to Order
Sort
View
CORR
2007
Springer
47views Education» more  CORR 2007»
14 years 10 months ago
Resource control of object-oriented programs
A sup-interpretation is a tool which provides an upper bound on the size of a value computed by some symbol of a program. Supinterpretations have shown their interest to deal with...
Jean-Yves Marion, Romain Péchoux
TALG
2008
81views more  TALG 2008»
14 years 9 months ago
Ordinal embeddings of minimum relaxation: General properties, trees, and ultrametrics
We introduce a new notion of embedding, called minimum-relaxation ordinal embedding, parallel to the standard notion of minimum-distortion (metric) embedding. In an ordinal embedd...
Noga Alon, Mihai Badoiu, Erik D. Demaine, Martin F...
EJC
2000
14 years 9 months ago
Cyclic Polytopes and Oriented Matroids
Consider the moment curve in the real Euclidean space Rd defined parametrically by the map : R Rd , t (t) = (t, t2 , . . . , td ). The cyclic d-polytope Cd(t1, . . . , tn) is t...
Raul Cordovil, Pierre Duchet
DAM
1999
88views more  DAM 1999»
14 years 9 months ago
Separable Partitions
An ordered partition of a set of n points in the d dimensional Euclidean space is called a separable partition if the convex hulls of the parts are pairwise disjoint. For each fix...
Noga Alon, Shmuel Onn
PVLDB
2008
104views more  PVLDB 2008»
14 years 9 months ago
Efficient skyline querying with variable user preferences on nominal attributes
Current skyline evaluation techniques assume a fixed ordering on the attributes. However, dynamic preferences on nominal attributes are more realistic in known applications. In or...
Raymond Chi-Wing Wong, Ada Wai-Chee Fu, Jian Pei, ...