162 search results - page 30 / 33 » Extraction in Coq: An Overview |
DAGM
2003
Springer
14 years 25 days ago
2003
Springer
We provide an overview of spline and wavelet techniques with an emphasis on applications in pattern recognition. The presentation is divided in three parts. In the first one, we ar...
ECOOPW
1999
Springer
13 years 12 months ago
1999
Springer
Code duplication is an important problem in application maintenance. Tools exist that support code duplication detection. However, few of them propose a solution for the problem, ...
PKDD
1998
Springer
13 years 11 months ago
1998
Springer
TextVis is a visual data mining system for document collections. Such a collection represents an application domain, and the primary goal of the system is to derive patterns that p...
LPKR
1997
Springer
13 years 11 months ago
1997
Springer
In this overview we show how Knowledge Representation (KR) can be done with the help of generalized logic programs. We start by introducing the core of PROLOG, which is based on de...
ICPIA
1992
13 years 11 months ago
1992
:: This talk deals with fundamental aspects of Intelligent Pattern Recognition (IPR) and applications. It basically includes the following: Overview of 3D Biometric Technology and ...