1950 search results - page 245 / 390 » Lambda-Free Logical Frameworks |
175
Voted
TCC
2005
Springer
16 years 14 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...
180
click to vote
ECLIPSE
2004
ACM
16 years 13 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...
196
Voted
VRCAI
2004
ACM
16 years 12 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...
188
Voted
AI
2004
Springer
16 years 12 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...
186
Voted
CAISE
2004
Springer
16 years 12 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...