2210 search results - page 255 / 442 » CLEF 2001 - Overview of Results |
173
click to vote
ICLP
2001
Springer
15 years 10 months ago
2001
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing solutions to goals. Quite a few interesting applications of tabling...
167
click to vote
KI
2001
Springer
15 years 10 months ago
2001
Springer
Abstract Coordinating the motion of multiple mobile robots is one of the fundamental problems in robotics. The predominant algorithms for coordinating teams of robots are decoupled...
180
click to vote
LPAR
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Recently, local logics for Mazurkiewicz traces are of increasing interest. This is mainly due to the fact that the satisfiability problem has the same complexity as in t...
165
click to vote
MIDDLEWARE
2001
Springer
15 years 10 months ago
2001
Springer
Middleware has emerged as an important architectural component in modern distributed systems. Most recently, industry has witnessed the emergence of component-based middleware pla...
157
click to vote
UML
2001
Springer
15 years 10 months ago
2001
Springer
Use case models are used in object-oriented analysis for capturing and describing the functional requirements of a system. Several methods for estimating software development effor...