5393 search results - page 289 / 1079 » Spatial Computing with Labels |
150
click to vote
FCT
2003
Springer
15 years 12 months ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...
145
click to vote
EPIA
1999
Springer
15 years 11 months ago
1999
Springer
We present two models of hierarchical structured multi-agents, and we describe how to obtain a modal knowledge base from distributed sources. We then propose a computationally orie...
185
click to vote
ACSD
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper describes a new way of testing reactive systems as investigated by the RATE-project at the Tampere University of Technology. We abandon the idea of systematically using...
185
click to vote
NIPS
2004
15 years 8 months ago
2004
Given a directed graph in which some of the nodes are labeled, we investigate the question of how to exploit the link structure of the graph to infer the labels of the remaining u...
203
click to vote
NIPS
2003
15 years 8 months ago
2003
We describe a nonparametric Bayesian approach to generalizing from few labeled examples, guided by a larger set of unlabeled objects and the assumption of a latent tree-structure ...