623 search results - page 18 / 125 » Declarative Network Verification |
142
Voted
ICPR
2010
IEEE
15 years 7 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...
118
Voted
FAC
2010
15 years 27 days ago
2010
117
Voted
FLAIRS
2000
15 years 4 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...
104
Voted
FSTTCS
2005
Springer
15 years 9 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...
125
Voted
DMSN
2009
ACM
15 years 10 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) ...