769 search results - page 88 / 154 » Is Logic all in our Heads |
125
Voted
CSI
2007
15 years 20 days ago
2007
The subject of research in this paper is RM-ODP, an ISO/ITU-T international standard. We investigate an important challenge that the standard faces, specifically the absence of a ...
135
click to vote
PET
2012
Springer
13 years 3 months ago
2012
Springer
Real-time statistics on smart meter consumption data must preserve consumer privacy and tolerate smart meter failures. Existing protocols for this private distributed aggregation m...
109
Voted
ICFP
2003
ACM
16 years 20 days ago
2003
ACM
We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types--known fr...
93
Voted
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Internet business-to-business transactions present great challenges in merging information from different sources. In this paper we describe a project to integrate four ...
91
Voted
DAC
2005
ACM
15 years 2 months ago
2005
ACM
Finding all satisfying assignments of a propositional formula has many applications in the design of hardware and software. An approach to this problem augments a clause-recording...