2152 search results - page 111 / 431 » On Automating the Calculus of Relations |
97
Voted
KI
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Prototype-based clustering algorithms such as the Self Organizing Map (SOM) or Neural Gas (NG) offer powerful tools for automated data inspection. The distribution of pr...
WIDM
1999
ACM
15 years 5 months ago
1999
ACM
In order to provide database-like features for files, particularly for searching in Web data, one solution is to migrate file data into a relational database. Having stored the da...
82
Voted
CSL
2009
Springer
15 years 7 months ago
2009
Springer
We investigate the relationship between two independently developed termination techniques for rst and higher-order rewrite systems. On the one hand, sized-types based termination...
ICLP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
118
click to vote
ATS
2010
IEEE
14 years 10 months ago
2010
IEEE
One of the most challenging problems in post-silicon validation is to identify those errors that cause prohibitive extra delay on speedpaths in the circuit under debug (CUD) and o...