2819 search results - page 302 / 564 » Automatic Structures |
153
Voted
VDB
1998
15 years 5 months ago
1998
In this paper we discuss how metaphors for supporting user interaction with multimedia databases can be automatically generated. The work presented is a further step in the develo...
157
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
The choice of an appropriate hardware representation model is key to successful evolution of digital circuits. One of the most popular models is cartesian genetic programming, whi...
134
click to vote
IJAIT
2006
15 years 3 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
131
Voted
JLP
2007
15 years 3 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
156
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
Recommender systems learn about user preferences over time, automatically finding things of similar interest. This reduces the burden of creating explicit queries. Recommender sys...