10916 search results - page 311 / 2184 » On Constructive Connectives and Systems |
184
click to vote
ICALP
2005
Springer
16 years 10 days ago
2005
Springer
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
180
click to vote
TCC
2005
Springer
16 years 8 days ago
2005
Springer
We study the problem of privacy-preserving access to a database. Particularly, we consider the problem of privacy-preserving keyword search (KS), where records in the database are ...
164
click to vote
GG
2004
Springer
16 years 6 days ago
2004
Springer
In this work we introduce event-driven grammars, a kind of graph grammars that are especially suited for visual modelling environments generated by meta-modelling. Rules in these g...
184
Voted
WEA
2004
Springer
16 years 4 days ago
2004
Springer
This paper describes a GRASP with path-relinking heuristic for the quadratic assignment problem. GRASP is a multi-start procedure, where different points in the search space are p...
183
click to vote
EUROCAST
2003
Springer
16 years 1 days ago
2003
Springer
We propose a novel post processing method for visualization of fiber traces from DT-MRI data. Using a recently proposed non-linear dimensionality reduction technique, Laplacian ei...