6608 search results - page 923 / 1322 » On the Completeness of Model Checking |
168
click to vote
ALT
2000
Springer
16 years 3 months ago
2000
Springer
This paper provides a systematic study of inductive inference of indexable concept classes in learning scenarios in which the learner is successful if its final hypothesis describ...
180
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we consider the interaction between application programmers and tools that automatically search a space of application-level parameters that are believed to impact ...
144
click to vote
AUSDM
2007
Springer
16 years 1 months ago
2007
Springer
The efficient market hypothesis states that the market incorporates all available information to provide an accurate valuation of the asset at any given time. However, most models...
211
click to vote
ESAW
2007
Springer
16 years 1 months ago
2007
Springer
In the field of multiagent systems (MAS), the computational models of trust and reputation have attracted increasing interest since electronic and open environments became a reali...
164
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
Estimation of distribution algorithms replace the typical crossover and mutation operators by constructing a probabilistic model and generating offspring according to this model....