Sciweavers

4325 search results - page 157 / 865
» Incremental computation with names
Sort
View
SSS
2009
Springer
195views Control Systems» more  SSS 2009»
16 years 1 months ago
Anonymous Transactions in Computer Networks
Abstract. We present schemes for providing anonymous transactions while privacy and anonymity are preserved, providing user anonymous authentication in distributed networks such as...
Shlomi Dolev, Marina Kopeetsky
COMGEO
2008
ACM
15 years 6 months ago
Approximating polyhedral objects with deformable smooth surfaces
We propose a method to approximate a polyhedral object with a deformable smooth surface, namely the t-skin defined by Edelsbrunner
Ho-Lun Cheng, Tony Tan
EDBT
2009
ACM
164views Database» more  EDBT 2009»
15 years 11 months ago
Fast object search on road networks
In this paper, we present ROAD, a general framework to evaluate Location-Dependent Spatial Queries (LDSQ)s that searches for spatial objects on road networks. By exploiting search...
Ken C. K. Lee, Wang-Chien Lee, Baihua Zheng
CONCUR
2009
Springer
16 years 1 months ago
Compositional Control Synthesis for Partially Observable Systems
We present a compositional method for deriving control constraints on a network of interconnected, partially observable and partially controllable plant components. The constraint ...
Wouter Kuijper, Jaco van de Pol
ACL
2010
15 years 4 months ago
Cognitively Plausible Models of Human Language Processing
We pose the development of cognitively plausible models of human language processing as a challenge for computational linguistics. Existing models can only deal with isolated phen...
Frank Keller