3793 search results - page 583 / 759 » Expressive Description Logics |
152
click to vote
TIME
2005
IEEE
16 years 1 days ago
2005
IEEE
This paper presents an XML-based approach to implementing the parametric model of temporal databases. In the parametric model, attribute values are functions of time and the entir...
143
click to vote
CCS
2005
ACM
16 years 18 hour ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...
191
click to vote
DALT
2005
Springer
16 years 13 hour ago
2005
Springer
Abstract. This paper extends a programming language for implementing cognitive agents with the capability to explicitly represent beliefs and reason about them. In this programming...
163
click to vote
EUROPAR
2005
Springer
16 years 8 hour ago
2005
Springer
This paper describes a novel approach to performance analysis for parallel and distributed systems that is based on soft computing. We introduce the concept of performance score re...
161
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
A main feature of many logics used in computer science is a means to express quantification. Usually, syntactical devices like variables and quantifiers are used for this purpose...