1456 search results - page 125 / 292 » An Overview of the SODA System |
161
click to vote
EWSA
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evo...
187
click to vote
ICTAC
2005
Springer
16 years 18 days ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
230
click to vote
AOSE
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. The Agent Modeling Language (AML) is a semi-formal visual modeling language, specified as an extension to UML 2.0. It is a consistent set of modeling constructs designed...
206
click to vote
ICBA
2004
Springer
16 years 14 days ago
2004
Springer
A new technology evaluation of fingerprint verification algorithms has been organized following the approach of the previous FVC2000 and FVC2002 evaluations, with the aim of tracki...
160
Voted
PCM
2004
Springer
16 years 13 days ago
2004
Springer
The performance of a Content-Based Image Retrieval (CBIR) system presented in the form of Precision-Recall or PrecisionScope graphs offers an incomplete overview of the system und...