305 search results - page 23 / 61 » Experiences with Modeling and Verification of Regulations |
ECML
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Existing relational learning approaches usually work on complete relational data, but real-world data are often incomplete. This paper proposes the MGDA approach to learn...
BMCBI
2005
13 years 8 months ago
2005
Background: Recent advances in molecular biology techniques provide an opportunity for developing detailed mathematical models of biological processes. An iterative scheme is intr...
SIGSOFT
2010
ACM
13 years 3 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
ICDAR
2007
IEEE
14 years 20 days ago
2007
IEEE
Document examiners use a variety of features to analyze a given handwritten document for writer verification. The challenge in the automatic classification of a pair of documents ...
TIFS
2010
13 years 3 months ago
2010
Face verification in the presence of age progression is an important problem that has not been widely addressed. In this paper, we study the problem by designing and evaluating dis...