101 search results - page 3 / 21 » Automating the approximate record-matching process |
FPL
2006
Springer
13 years 9 months ago
2006
Springer
This paper presents a novel tool flow combining rewriting logic with hardware synthesis. It enables the automated generation of synthesizable VHDL code from mathematical equations...
WWW
2005
ACM
14 years 6 months ago
2005
ACM
We exploit the recently proposed Concept Abduction inference service in Description Logics to solve Concept Covering problems. We propose a framework and polynomial greedy algorit...
IMR
2003
Springer
13 years 11 months ago
2003
Springer
In this study, an automated adaptive mesh control scheme, based on local mesh modifications, is developed for the finite element simulations of 3D metal forming processes. Error i...
LICS
2009
IEEE
14 years 12 days ago
2009
IEEE
—We associate a statistical vector to a trace and a geometrical embedding to a Markov Decision Process, based on a distance on words, and study basic Membership and Equivalence p...
PAA
2008
13 years 5 months ago
2008
Recently, Automated Multiple View Inspection (AMVI) has been developed for automated defect detection of manufactured objects, and the framework was successfully implemented for ca...