5251 search results - page 155 / 1051 » A Framework for Ontology Integration |
110
click to vote
ICTAI
2002
IEEE
15 years 6 months ago
2002
IEEE
In order to reduce the time-to-market and simplify gatelevel test generation for digital integrated circuits, GAbased functional test generation techniques are proposed for behavi...
241
click to vote
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
113
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
: Computational grids that couple geographically distributed resources are becoming the de-facto computing platform for solving large-scale problems in science, engineering, and co...
WSC
1997
15 years 3 months ago
1997
In recent articles we presented a general methodology for finite optimization. The new method, the Nested Partitions (NP) method, combines partitioning, random sampling, a select...
116
click to vote
ECCV
2006
Springer
16 years 3 months ago
2006
Springer
The paper introduces a new framework for feature learning in classification motivated by information theory. We first systematically study the information structure and present a n...