3880 search results - page 729 / 776 » Evaluation of Hypermedia Application Development and Managem... |
165
click to vote
TACS
1994
Springer
15 years 10 months ago
1994
Springer
The ML type system was originally introduced as a means of identifying a class of terms in a simple untyped language, often referred to as core-ML, whose evaluation could be guaran...
148
click to vote
DEXAW
2009
IEEE
15 years 10 months ago
2009
IEEE
Various retrieval models have been developed and analyzed so far, but less research aims to an integration of the different models within a common framework. This paper introduces ...
169
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
We present and evaluate a method for estimating the relevance and calibrating the values of parameters of an evolutionary algorithm. The method provides an information theoretic m...
193
click to vote
AAAI
2008
15 years 8 months ago
2008
Traditional artificial intelligence techniques do not perform well in applications such as real-time strategy games because of the extensive search spaces which need to be explore...
157
click to vote
ATC
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we introduce new concepts and methods for checking the correctness of control flow instructions during the execution of programs in embedded CPUs. Detecting and avoi...