4341 search results - page 434 / 869 » Quantitative Model checking |
181
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
Current trends demonstrate an increasing use of polymorphism by attackers to disguise their exploits. The ability for malicious code to be easily, and automatically, transformed in...
162
click to vote
EUROCAST
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We report computer-aided modeling and simulation of evolution in biological systems with living organisms as effect of extremum properties of classical statistical entro...
173
click to vote
AMFG
2005
IEEE
16 years 15 days ago
2005
IEEE
3D tracking of faces in video streams is a difficult problem that can be assisted with the use of a priori knowledge of the structure and appearance of the subject’s face at pred...
155
click to vote
CSB
2005
IEEE
16 years 15 days ago
2005
IEEE
Single-particle tracking provides a powerful technique for measuring dynamic cellular processes on the level of individual molecules. Much recent work has been devoted to using si...
168
click to vote
MICCAI
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Integration of magnetic resonance (MR) and positron emission tomography (PET) images of the heart has proved its usefulness for the estimation of the myocardial viability...