Sciweavers

1008 search results - page 145 / 202
» Canonicity!
Sort
View
SYNASC
2006
IEEE
95views Algorithms» more  SYNASC 2006»
15 years 9 months ago
Evolutionary Support Vector Regression Machines
Evolutionary support vector machines (ESVMs) are a novel technique that assimilates the learning engine of the state-of-the-art support vector machines (SVMs) but evolves the coef...
Ruxandra Stoean, Dumitru Dumitrescu, Mike Preuss, ...
ADBIS
2006
Springer
103views Database» more  ADBIS 2006»
15 years 9 months ago
Bridging the Gap between Comparison and Conforming the Views in View Integration
View integration is a complex, error-prone and time-consuming task. Therefore there is a need to decompose the integration methods into smaller well defined phases where different ...
Peter Bellström
122
Voted
ADMA
2006
Springer
167views Data Mining» more  ADMA 2006»
15 years 9 months ago
A Correlation Approach for Automatic Image Annotation
The automatic annotation of images presents a particularly complex problem for machine learning researchers. In this work we experiment with semantic models and multi-class learnin...
David R. Hardoon, Craig Saunders, Sándor Sz...
ACL2
2006
ACM
15 years 9 months ago
Function memoization and unique object representation for ACL2 functions
We have developed an extension of ACL2 that includes the implementation of hash-based association lists and function memoization; this makes some algorithms execute more quickly. ...
Robert S. Boyer, Warren A. Hunt Jr.
ASPDAC
2006
ACM
137views Hardware» more  ASPDAC 2006»
15 years 9 months ago
Parameterized block-based non-gaussian statistical gate timing analysis
As technology scales down, timing verification of digital integrated circuits becomes an increasingly challenging task due to the gate and wire variability. Therefore, statistical...
Soroush Abbaspour, Hanif Fatemi, Massoud Pedram