4305 search results - page 304 / 861 » The Test of Time |
144
click to vote
ISMVL
1997
IEEE
15 years 11 months ago
1997
IEEE
The composition tree of a given function, when it exists, provides a representation of the function revealing all possible disjunctive decompositions, thereby suggesting a realiza...
155
click to vote
ML
2002
ACM
15 years 6 months ago
2002
ACM
Practical experience has shown that in order to obtain the best possible performance, prior knowledge about invariances of a classification problem at hand ought to be incorporated...
164
Voted
GECCO
2010
Springer
15 years 7 months ago
2010
Springer
In this paper we present a concurrent implementation of genetic algorithms designed for shared memory architectures intended to take advantage of multi-core processor platforms. O...
162
click to vote
VR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we report the results of a pilot study designed to evaluate the impact of signs as navigation aids in virtual worlds. Test subjects were divided into three groups (...
174
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...