691 search results - page 74 / 139 » Automatically Proving Linearizability |
ACII
2005
Springer
13 years 12 months ago
2005
Springer
Active Shape Model (ASM) is one of the most powerful statistical tools for face image alignment. In this paper, we propose a novel method, called Bunch-Active Shape Model (Bunch-AS...
APLAS
2005
ACM
13 years 12 months ago
2005
ACM
This paper describes a sound technique that combines the precision em proving with the loop-invariant inference of abstract interpretation. The loop-invariant computations are invo...
LREC
2008
13 years 11 months ago
2008
We describe techniques for the automatic detection of relationships among domain entities (e.g. genes, proteins, diseases) mentioned in the biomedical literature. Our approach is ...
DMIN
2006
13 years 11 months ago
2006
- Filtering the immense amount of data available electronically over the World Wide Web is an important task of search engines in data mining applications. Users when performing se...
ISCAPDCS
2004
13 years 11 months ago
2004
A promising anti-spam technique consists in collecting users opinions that given email messages are spam and using this collective judgment to block message propagation to other u...