4502 search results - page 773 / 901 » Regular Model Checking |
139
click to vote
PR
2010
15 years 3 months ago
2010
We develop a supervised dimensionality reduction method, called Lorentzian Discriminant Projection (LDP), for feature extraction and classification. Our method represents the str...
170
click to vote
SEKE
2010
Springer
15 years 3 months ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...
126
click to vote
TMI
2010
15 years 3 months ago
2010
—Synthetic magnetic resonance (MR) imaging is an approach suggested in the literature to predict MR images at different design parameter settings from at least three observed MR ...
152
click to vote
BMVC
2010
15 years 2 months ago
2010
Accurate intrinsic camera calibration is essential to any computer vision task that involves image based measurements. Given its crucial role with respect to precision, a large nu...
158
click to vote
ICIP
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper addresses the reconstruction of high resolution omnidirectional images from a low resolution video acquired by an omnidirectional camera moving in a static scene. In or...