2309 search results - page 317 / 462 » Using Meta-Structures in Database Design |
146
click to vote
LPAR
2001
Springer
15 years 9 months ago
2001
Springer
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...
133
click to vote
CIA
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. We present an intelligent information agent that uses semantic methods and natural language processing capabilites in order to gather tourist information from the WWW and...
134
click to vote
ISPD
1998
ACM
15 years 8 months ago
1998
ACM
We propose a simple, isometry invariant pattern matching algorithm for an effective data reduction useful in layout-related data processing of very complex IC designs. The repeata...
186
click to vote
AICCSA
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper presents a multi-agent framework for distributed web-based face recognition using fuzzy logic based result fusion mechanism. The model is designed in JADE framework and...
129
click to vote
DGO
2004
15 years 5 months ago
2004
We present a web-based environment for the Automated Dental Identification System (ADIS). This system is designed for identification missing, unidentified and wanted persons based...