4693 search results - page 798 / 939 » Verifying Hybrid Systems |
95
Voted
COMPSAC
2008
IEEE
15 years 7 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
110
click to vote
CRV
2008
IEEE
15 years 7 months ago
2008
IEEE
Methods for reconstructing photorealistic 3D graphics models from images or video are appealing applications of computer vision. Such methods rely on good input image data, but th...
114
Voted
CVPR
2008
IEEE
15 years 7 months ago
2008
IEEE
We propose a person-dependent, manifold-based approach for modeling and tracking rigid and nonrigid 3D facial deformations from a monocular video sequence. The rigid and nonrigid ...
105
Voted
HICSS
2008
IEEE
15 years 7 months ago
2008
IEEE
The prevalence of P2P technology contributes the ease of file-sharing, but it also brings some problems such as free-riding and copyright infringement. To solve these problems, ma...
HOTI
2008
IEEE
15 years 7 months ago
2008
IEEE
— Recent network intrusion detection systems (NIDS) use regular expressions to represent suspicious or malicious character sequences in packet payloads in a more efficient way. ...