386 search results - page 45 / 78 » Model Classifications and Automated Verification |
SPLC
2010
13 years 9 months ago
2010
This paper presents a case study of creating a software product line for the train signaling domain. The Train Control Language (TCL) is a DSL which automates the production of sou...
DLOG
2004
13 years 9 months ago
2004
Medical Terminological Knowledge Bases contain a large number of primitive concept definitions. This is due to the large number of natural kinds that are represented, and due to t...
APLAS
2010
ACM
13 years 8 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
FUZZIEEE
2007
IEEE
14 years 2 months ago
2007
IEEE
— This article presents a self-fuzzification method to enhance the settings of a Fuzzy Reasoning Classification adapted to the automated inspection of wooden boards. The supervis...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
In this paper, a supervised pixel-based classifier approach for segmenting different anatomical regions in abdominal Computed Tomography (CT) studies is presented. The approach co...