2911 search results - page 308 / 583 » A Theory of Expressiveness in Mechanisms |
165
click to vote
APSEC
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper describes a system called STeP_IN (standing for Socio-Technical Platform for in situ Networking) that assists software developer to find and learn Java API libraries. I...
158
click to vote
TPHOL
2005
IEEE
16 years 8 days ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...
187
click to vote
MMSEC
2005
ACM
16 years 7 days ago
2005
ACM
Image steganalysis so far has dealt only with detection of a hidden message and estimation of some of its parameters (e.g., message length and secret key). To our knowledge, so fa...
183
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
This paper presents an argumentation-based approach to deliberation, the process by which two or more agents reach a consensus on a course of action. The kind of deliberation we a...
158
click to vote
CAISE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The lack of a good understanding of customer needs within eservice initiatives caused severe financial losses in the Norwegian energy sector, resulting in the failure of...