Sciweavers

685 search results - page 57 / 137
» Closure Operators for Order Structures
Sort
View
123
Voted
ESSLLI
1999
Springer
15 years 7 months ago
Towards Discontinuous Grammar
This paper presents a grammar formalism in which constituent graphs are unions of a continuous surface tree and a discontinuous deep tree. The formalism has an object-oriented desi...
Matthias T. Kromann
159
Voted
CORR
2011
Springer
173views Education» more  CORR 2011»
14 years 9 months ago
Psi-calculi: a framework for mobile processes with nominal data and logic
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
Jesper Bengtson, Magnus Johansson, Joachim Parrow,...
145
Voted
CRYPTO
2005
Springer
127views Cryptology» more  CRYPTO 2005»
15 years 8 months ago
Black-Box Secret Sharing from Primitive Sets in Algebraic Number Fields
A black-box secret sharing scheme (BBSSS) for a given access structure works in exactly the same way over any finite Abelian group, as it only requires black-box access to group o...
Ronald Cramer, Serge Fehr, Martijn Stam
152
Voted
ICDE
2009
IEEE
178views Database» more  ICDE 2009»
15 years 11 days ago
Efficient Query Evaluation over Temporally Correlated Probabilistic Streams
Many real world applications such as sensor networks and other monitoring applications naturally generate probabilistic streams that are highly correlated in both time and space. ...
Bhargav Kanagal, Amol Deshpande
120
Voted
GEOINFORMATICA
1998
96views more  GEOINFORMATICA 1998»
15 years 2 months ago
Experiments with Learning Techniques for Spatial Model Enrichment and Line Generalization
The nature of map generalization may be non-uniform along the length of an individual line, requiring the application of methods that adapt to the local geometry and the geographi...
Corinne Plazanet, Nara Martini Bigolin, Anne Ruas