Sciweavers

26071 search results - page 247 / 5215
» Making
Sort
View
AISC
1998
Springer
15 years 9 months ago
Optimising Propositional Modal Satisfiability for Description Logic Subsumption
Effective optimisation techniques can make a dramatic difference in the performance of knowledge representation systems based on expressive description logics. Because of the corre...
Ian Horrocks, Peter F. Patel-Schneider
DSVIS
1998
Springer
15 years 9 months ago
The Role of Verification in Interactive Systems Design
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
José Creissac Campos, Michael D. Harrison
EUROMICRO
1997
IEEE
15 years 9 months ago
HPO: a programming environment for object-oriented metacomputing
Metacomputing is an emergent paradigm that makes possible to distribute applications over a heterogeneous set of computing systems to exploit all available resources. The paper pr...
Antonio Corradi, Letizia Leonardi, Franco Zambonel...
MABS
1998
Springer
15 years 9 months ago
Dynamics of Internal and Global Structure through Linguistic Interactions
Abstract. Developmentof category structure in communicationis studied by a constructive approach. Individuals having a word relation matrix as their internal structure communicate ...
Takashi Hashimoto
ICANN
1997
Springer
15 years 9 months ago
Neural Networks in an Artificial Life Perspective
In the last few years several researchers within the Artificial Life and Mobile Robotics community used Artificial Neural Networks. Explicitly viewing Neural Networks in an Artific...
Stefano Nolfi, Domenico Parisi