3255 search results - page 325 / 651 » Combination of Abstractions in the ASTR |
211
click to vote
AVBPA
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. The verification performance of biometric systems is normally evaluated using the receiver operating characteristic (ROC) or detection error trade-off (DET) curve. We p...
168
click to vote
CCIA
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating...
253
click to vote
CHARME
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
197
click to vote
CICLING
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. The purpose of information extraction (IE) is to find desired pieces of information in natural language texts and store them in a form that is suitable for automatic pro...
174
click to vote
CP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. In an increasing number of domains such as bioinformatics, combinatorial graph problems arise. We propose a novel way to solve these problems, mainly those that can be tr...