1950 search results - page 245 / 390 » Lambda-Free Logical Frameworks |
164
click to vote
TCC
2005
Springer
16 years 1 days ago
2005
Springer
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...
170
click to vote
ECLIPSE
2004
ACM
15 years 12 months 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...
186
click to vote
VRCAI
2004
ACM
15 years 12 months 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
15 years 12 months 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...
173
click to vote
CAISE
2004
Springer
15 years 12 months 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...