Sciweavers

4255 search results - page 232 / 851
» On Learning Boolean Functions
Sort
View
DAC
2008
ACM
16 years 7 months ago
Functional test selection based on unsupervised support vector analysis
Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverag...
Onur Guzey, Li-C. Wang, Jeremy R. Levitt, Harry Fo...
ERCIMDL
2009
Springer
103views Education» more  ERCIMDL 2009»
16 years 1 months ago
Functional Adaptivity for Digital Library Services in e-Infrastructures: The gCube Approach
We consider the problem of e-Infrastructures that wish to reconcile the generality of their services with the bespoke requirements of diverse user communities. We motivate the requ...
Fabio Simeoni, Leonardo Candela, David Lievens, Pa...
ISBI
2007
IEEE
16 years 25 days ago
Multi-Resolution Image Segmentation Using the 2-Point Correlation Functions
Recently, the 2-point correlation functions (2-pcfs) were employed in building feature vectors for histological image segmentation. The 2-pcfs serve as estimators of material dist...
Firdaus Janoos, M. Okan Irfanoglu, Kishore Mosalig...
AAIP
2009
15 years 7 months ago
Automated Method Induction: Functional Goes Object Oriented
The development of software engineering has had a great deal of benefits for the development of software. Along with it came a whole new paradigm of the way software is designed a...
Thomas Hieber, Martin Hofmann 0008
ECAI
2010
Springer
15 years 7 months ago
Bayesian Monte Carlo for the Global Optimization of Expensive Functions
In the last decades enormous advances have been made possible for modelling complex (physical) systems by mathematical equations and computer algorithms. To deal with very long run...
Perry Groot, Adriana Birlutiu, Tom Heskes