1746 search results - page 112 / 350 » A Constructive Semantics for ALC |
119
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
Association search is to search for certain instances in semantic web and then make inferences from and about the instances we have found. In this paper, we propose the problem of...
167
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
119
click to vote
ADBIS
2007
Springer
15 years 10 months ago
2007
Springer
The semantics of a new language (CUDL – Conceptual Universal Database Language), designed to manage dynamic database environments, are presented. This language conforms to the FD...
142
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
I present MOSES (meta-optimizing semantic evolutionary search), a new probabilistic modeling (estimation of distribution) approach to program evolution. Distributions are not esti...
115
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
The paper presents the main results of the IST FP6 INFRAWEBS project. The project has developed an easy and effective way of constructing and using semantic descriptions for existi...