6047 search results - page 233 / 1210 » Modeling with Extend |
112
click to vote
ITC
2003
IEEE
15 years 9 months ago
2003
IEEE
We study the extension of applicability of system-level testing techniques to the construction of a consistent model of (legacy) systems under test, which are seen as black boxes....
130
click to vote
KR
2010
Springer
15 years 8 months ago
2010
Springer
We present a decidable class of first-order formulas in the general theory of stable models that can be instantiated even in the presence of function constants. The notion of an ...
142
click to vote
ACSD
1998
IEEE
15 years 8 months ago
1998
IEEE
Today's corporations often must operate across organizational boundaries. Phenomena such as electronic commerce, extended enterprises, and the Internet stimulate cooperation ...
123
click to vote
AAAI
2008
15 years 6 months ago
2008
For many machine learning solutions to complex applications, there are significant performance advantages to decomposing the overall task into several simpler sequential stages, c...
140
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Online multiplicative weight-update learning algorithms, such as Winnow, have proven to behave remarkably for learning simple disjunctions with few relevant attributes. The aim of ...