2152 search results - page 329 / 431 » On Automating the Calculus of Relations |
123
Voted
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
As the paradigm of object orientation becomes more and more important for modern IT development projects, the demand for an automated test case generation to dynamically test obje...
118
click to vote
ICANN
2005
Springer
15 years 6 months ago
2005
Springer
One aim of Meta-learning techniques is to minimize the time needed for problem solving, and the effort of parameter hand-tuning, by automating algorithm selection. The predictive m...
132
Voted
RULEML
2004
Springer
15 years 6 months ago
2004
Springer
The Web is now a huge information repository with a rich semantic structure that, however, is primarily addressed to human understanding rather than automated processing by a compu...
114
click to vote
LICS
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...
92
Voted
CHARME
2001
Springer
15 years 5 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...