3082 search results - page 571 / 617 » Deviation Analysis: A New Use of Model Checking |
122
click to vote
TVCG
2008
14 years 11 months ago
2008
Systems biologists use interaction graphs to model the behavior of biological systems at the molecular level. In an iterative process, such biologists observe the reactions of livi...
CIKM
2010
Springer
14 years 10 months ago
2010
Springer
Online social networks offer opportunities to analyze user behavior and social connectivity and leverage resulting insights for effective online advertising. We study the adopti...
118
click to vote
CVPR
2003
IEEE
16 years 1 months ago
2003
IEEE
In addition to its technical merits as a challenging non-rigid motion and structural integrity analysis problem, quantitative estimation of cardiac regional functions and material...
ICCV
2007
IEEE
16 years 1 months ago
2007
IEEE
Illumination changes cause object appearance to change drastically and many existing tracking algorithms lack the capability to handle this problem. The Earth Mover's Distanc...
109
click to vote
CSE
2009
IEEE
15 years 6 months ago
2009
IEEE
— To counteract current trends in network malware, distributed solutions have been developed that harness the power of collaborative end-host sensors. While these systems greatly...