3005 search results - page 541 / 601 » Logical Information Systems: from Taxonomies to Logics |
106
Voted
COLT
1999
Springer
15 years 6 months ago
1999
Springer
This paper proposes the use of constructive ordinals as mistake bounds in the on-line learning model. This approach elegantly generalizes the applicability of the on-line mistake ...
117
click to vote
IEAAIE
1998
Springer
15 years 6 months ago
1998
Springer
The users of libraries of object-oriented software components face with both a terminological and a cognitive gap. Usually, library users do not understand the vocabulary used in t...
115
click to vote
ECOOPW
1997
Springer
15 years 6 months ago
1997
Springer
An object-oriented (OO) model has a static component, the set of allowable snapshots or system states, and a dynamic component, the set of filmstrips or sequences of snapshots. Dia...
132
click to vote
MAAMAW
1994
Springer
15 years 6 months ago
1994
Springer
One objective of distributed artificial intelligence research is to build systems that are capable of cooperative problem solving. To this end, a number of implementation-oriented ...
106
click to vote
TYPES
1993
Springer
15 years 6 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...