2291 search results - page 58 / 459 » Representational Reasoning and Verification |
DEXA
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...
ICPR
2002
IEEE
14 years 10 months ago
2002
IEEE
In this paper, a novel personalized feature combination scheme is proposed for face verification. ANFIS (Adaptive Neuro-Fuzzy Inference System) and SVM (Support Vector Machine) ar...
DSD
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper we describe a methodology for the formal verification of a DSP chip using the HOL theorem prover. We used an iterative method to specify both the behavioral and stru...
ICDAR
1997
IEEE
14 years 1 months ago
1997
IEEE
Shape matrices have been used as a representation of planar shapes like industrial parts or printed characters. In this paper, we investigate the use of shape matrices as a mixed ...
APN
1997
Springer
14 years 12 days ago
1997
Springer
Abstract. Workflow management systems will change the architecture of future information systems dramatically. The explicit representation of business procedures is one of the main...