1982 search results - page 277 / 397 » Parametricity and dependent types |
NN
2007
Springer
15 years 4 months ago
2007
Springer
The mammalian olfactory system shows many types of sensory and perceptual processing accompanied by oscillations at the level of the local field potential, and much is already know...
OTM
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We study large-scale distributed cooperative systems that use optimistic replication. We represent a system as a graph of actions (operations) connected by edges that rei...
W2GIS
2007
Springer
15 years 4 months ago
2007
Springer
In order to provide a streaming service of 3-D spatial objects to the mobile clients on a street, we propose a new query type, called continuous perspective query. The perspective ...
102
click to vote
DASC
2006
IEEE
15 years 4 months ago
2006
IEEE
Abstract— In stream authentication protocols used for largescale data dissemination in autonomuous systems, authentication is based on the timing of the publication of keys, and ...
DEXAW
2006
IEEE
15 years 4 months ago
2006
IEEE
One of the pre-requisites for the realization of the Semantic Web vision are matching techniques which are capable of handling the open, dynamic and heterogeneous nature of the se...