386 search results - page 43 / 78 » Model Classifications and Automated Verification |
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
WWW
2001
ACM
14 years 8 months ago
2001
ACM
We address the problem of integrating documents from different sources into a master catalog. This problem is pervasive in web marketplaces and portals. Current technology for aut...
KDD
2006
ACM
14 years 8 months ago
2006
ACM
Collaborative recommender systems are highly vulnerable to attack. Attackers can use automated means to inject a large number of biased profiles into such a system, resulting in r...
RAS
2000
13 years 7 months ago
2000
Most of the current work on automated facial expression analysis attempt to recognize a small set of prototypic expressions, such as joy and fear. Such prototypic expressions, how...
ICPR
2008
IEEE
14 years 9 months ago
2008
IEEE
CT colonography (CTC) is a rapidly evolving technique to screen for colorectal polyps. Fecal residue may occlude or, reversely, mimic polyps. Electronic cleansing aims at removing...