3572 search results - page 599 / 715 » Nominal Logic Programming |
150
click to vote
EWDW
1990
15 years 8 months ago
1990
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
116
click to vote
ICML
1989
IEEE
15 years 8 months ago
1989
IEEE
The available concept-learners only partially fulfill the needs imposed by the learning apprentice generation of learners. We present a novel approach to interactive concept-learni...
125
click to vote
AINA
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper introduces an approach to automatic synthesis of the specification models of routing protocol behavior from the observed flow of the network traffic. In particular, our...
136
click to vote
ESWS
2007
Springer
15 years 7 months ago
2007
Springer
The semantic web vision will facilitate automation of many tasks, including the location and dynamic reconfiguration of web services. In this article, we are concerned with a speci...
112
click to vote
EUROSYS
2007
ACM
15 years 7 months ago
2007
ACM
To anticipate or not to anticipate -- that is the question, regarding adaptive middleware in the area of ubiquitous computing. Anticipation can guarantee that both the adapted and...