540 search results - page 95 / 108 » A Computational Logic Approach to Syllogisms in Human Reason... |
108
Voted
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
203
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
87
Voted
HUC
2007
Springer
15 years 6 months ago
2007
Springer
This article investigates the conflicting area of user benefits arising through item level RFID tagging and a desire for privacy. It distinguishes between three approaches feasible...
107
Voted
ECCV
1994
Springer
16 years 2 months ago
1994
Springer
A face recognition system must recognize a face from a novel image despite the variations between images of the same face. A common approach to overcoming image variations because...
191
Voted
GIS
2006
ACM
16 years 1 months ago
2006
ACM
In this paper we describe work on the automatic recognition of island structures. In an initial phase several test persons were asked to mark groups of islands that they perceived...