1980 search results - page 95 / 396 » On the Associative Nijenhuis Relation |
106
click to vote
ISMIS
2003
Springer
15 years 6 months ago
2003
Springer
T his paper outlines a formal theory for de fining action concepts in taxonomical knowledge representation languages, in a form closely related to description logics. The central p...
109
click to vote
SIGSOFT
2000
ACM
15 years 6 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
113
click to vote
FUIN
2000
15 years 1 months ago
2000
Knowledge scouts are software agents that autonomously search for and synthesize user-oriented knowledge (target knowledge) in large local or distributed databases. A knowledge ge...
IJAIT
2002
15 years 1 months ago
2002
The WEBSOM methodology for building very large text archives has a very slow method for extracting meaningful unit labels. This is because the method computes for the relative fre...
141
click to vote
COR
2008
15 years 5 days ago
2008
In this paper we review the exact algorithms proposed in the last three decades for the solution of the vehicle routing problem with time windows (VRPTW). The exact algorithms for...