231 search results - page 33 / 47 » A Brief Overview of HOL4 |
HT
2005
ACM
14 years 2 months ago
2005
ACM
People have become used to paper as an information carrier over thousands of years. Paper is usually easy to handle and has been adopted as a metaphor for information structures i...
MM
2005
ACM
14 years 2 months ago
2005
ACM
The number of digital photographs is growing beyond the abilities of individuals to easily manage and understand their own photo collections. Photo LOI (Level of Interest) is a te...
SIGCSE
2005
ACM
14 years 2 months ago
2005
ACM
The relationship between XML and database management systems has become an important topic for coverage at the undergraduate level. This paper presents an approach to teaching the...
ASP
2005
Springer
14 years 2 months ago
2005
Springer
Preferences are useful when the space of feasible solutions of a given problem is dense but not all these solutions are equivalent w.r.t. some additional requirements. In this case...
CSFW
2003
IEEE
14 years 1 months ago
2003
IEEE
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason...