3082 search results - page 322 / 617 » Deviation Analysis: A New Use of Model Checking |
140
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Acute renal rejection is the most common reason for graft (transplanted kidney) failure after kidney transplantation, and early detection is crucial to survival of function in the...
162
click to vote
AAAI
2006
15 years 8 months ago
2006
The Infrastructure of modern society is controlled by software systems that are vulnerable to attacks. Many such attacks, launched by "recreational hackers" have already...
204
click to vote
IVC
2002
15 years 6 months ago
2002
The classification of human body motion is an integral component for the automatic interpretation of video sequences. In a first part we present an effective approach that uses mi...
160
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Expressed sequence tags (ESTs) analyses are a fundamental tool for gene identification in organisms. Given a preliminary EST sample from a certain library, several sta...
164
click to vote
EDBT
2008
ACM
16 years 6 months ago
2008
ACM
Schema mapping algorithms rely on value correspondences ? i.e., correspondences among semantically related attributes ? to produce complex transformations among data sources. Thes...