3994 search results - page 537 / 799 » A Linear Logical Framework |
192
click to vote
ECLIPSE
2004
ACM
16 years 20 days ago
2004
ACM
Developing and consistently evolving quality software designs requires both theoretical knowledge and practical skills. The former can be communicated in a classroom; the latter h...
204
click to vote
VRCAI
2004
ACM
16 years 20 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...
197
click to vote
AI
2004
Springer
16 years 20 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...
194
click to vote
CAISE
2004
Springer
16 years 20 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...
189
click to vote
ESWS
2004
Springer
16 years 19 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...