4555 search results - page 516 / 911 » Deductive Algorithmic Knowledge |
170
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a simple and adaptable matching method dealing with web directories, catalogs and OWL ontologies. By using a well-known Knowledge Discovery in Databases model,...
167
click to vote
DALT
2006
Springer
15 years 9 months ago
2006
Springer
The AgentSpeak agent-oriented programming language has recently been extended with various new features, such as speech-act based communication, internal belief additions, and supp...
178
click to vote
ECRTS
2006
IEEE
15 years 9 months ago
2006
IEEE
We consider coordinating accesses to shared data structures in multiprocessor real-time systems scheduled under preemptive global EDF. To our knowledge, prior work on global EDF h...
161
click to vote
ER
2006
Springer
15 years 9 months ago
2006
Springer
Transitive propagation along properties can be modelled in various ways in the OWL description logic. Doing so allows existing description logic reasoners based on the tableaux alg...
172
click to vote
EUROPAR
2006
Springer
15 years 9 months ago
2006
Springer
Computations on two-dimensional arrays such as matrices and images are one of the most fundamental and ubiquitous things in computational science and its vast application areas, bu...