4266 search results - page 630 / 854 » A Framework for Defining Logics |
186
click to vote
VRCAI
2004
ACM
16 years 2 days ago
2004
ACM
Actual graphic hardware becomes more and more powerful. Consequently, virtual scenes can be rendered in a very good quality integrating dynamic behavior, real-time shadows, bump m...
179
click to vote
AI
2004
Springer
16 years 1 days ago
2004
Springer
Constraints formalize the dependencies in a physical world in terms of a logical relation among several unknowns. Constraint satisfaction methods allow efficient navigation of larg...
177
click to vote
CAISE
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
173
click to vote
ESWS
2004
Springer
16 years 1 days ago
2004
Springer
Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination o...
158
click to vote
FASE
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...