2673 search results - page 397 / 535 » Guided Static Analysis |
132
click to vote
TSMC
1998
15 years 4 months ago
1998
—Knowledge representation is one of important factors that determine human performance on cognitive tasks. Due to different levels of experience, different groups of people may d...
179
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
Abstract. In this paper we discuss new adaptive proposal strategies for sequential Monte Carlo algorithms--also known as particle filters--relying on new criteria evaluating the qu...
145
Voted
PAMI
2010
15 years 3 months ago
2010
Abstract— Statistical shape modeling is an established technique and is used for a variety of tasks in medical image processing, such as image segmentation and analysis. A challe...
143
click to vote
PERSUASIVE
2010
Springer
15 years 3 months ago
2010
Springer
Though a variety of persuasive health applications have been designed with a preventive standpoint toward diseases in mind, many have been designed largely for a general audience. ...
152
click to vote
ICIP
2010
IEEE
15 years 2 months ago
2010
IEEE
Close-up (CU) is a photographic technique which tightly frames a person or an object. In movies, it is applied to guide audience attention and to evoke audience emotion. In this p...