320 search results - page 49 / 64 » Constructing Invariants for Hybrid Systems |
282
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
154
click to vote
ICDM
2008
IEEE
16 years 12 days ago
2008
IEEE
In this paper, we present a novel feature extraction framework, called learning by propagability. The whole learning process is driven by the philosophy that the data labels and o...
169
click to vote
PR
2008
15 years 5 months ago
2008
Due to distortion, noise, segmentation errors, overlap, and occlusion of objects in digital images, it is usually impossible to extract complete object contours or to segment the ...
169
click to vote
ICONIP
2010
2010
A New Framework for Small Sample Size Face Recognition Based on Weighted Multiple Decision Templates
15 years 4 months ago
In this paper a holistic method and a local method based on decision template ensemble are investigated. In addition by combining both methods, a new hybrid method for boosting the...
144
click to vote
ICCAD
2004
IEEE
16 years 2 months ago
2004
IEEE
Instruction set simulators are indispensable tools for the architectural exploration and verification of embedded systems. Different techniques have recently been proposed to spe...