623 search results - page 18 / 125 » Declarative Network Verification |
ICPR
2010
IEEE
13 years 12 months ago
2010
IEEE
We present a low resolution face recognition technique based on a Convolutional Neural Network approach. The network is trained to reconstruct a reference per subject image. In cl...
FAC
2010
13 years 4 months ago
2010
FLAIRS
2000
13 years 8 months ago
2000
Multiply Sectioned Bayesian Networks (MSBN)provide a coherence framework for multi-agent distributed interpretation tasks. Duringthe construction or dynamicformation of an MSBN,au...
FSTTCS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper addresses the issue of confidentiality and declassification for global computing in a language-based security perspective. The purpose is to deal with new fo...
DMSN
2009
ACM
14 years 2 months ago
2009
ACM
Generating a good execution plan for a declarative query has long been a central problem in data management research. With the rise in interest in wireless sensor networks (WSNs) ...