10594 search results - page 1988 / 2119 » Learning classifier systems |
104
click to vote
ISMIS
1999
Springer
15 years 6 months ago
1999
Springer
Semantic Query Optimisation makes use of the semantic knowledge of a database (rules) to perform query transformation. Rules are normally learned from former queries fired by the u...
128
click to vote
CAV
1998
Springer
15 years 6 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
110
Voted
ITS
1998
Springer
15 years 6 months ago
1998
Springer
The Tutoring Research Group at the University of Memphis is developing an intelligent tutoring system which takes advantages of recent technological advances in the areas of semant...
115
click to vote
KDD
1998
ACM
15 years 6 months ago
1998
ACM
Huge masses of digital data about products, customers and competitors have become available for companies in the services sector. In order to exploit its inherent (and often hidde...
102
click to vote
ICCAD
1997
IEEE
15 years 6 months ago
1997
IEEE
An algorithm that remains in use at the core of many partitioning systems is the Kernighan-Lin algorithm and a variant the Fidducia-Matheysses (FM) algorithm. To understand the FM...