8266 search results - page 1635 / 1654 » Information About the Journal |
126
click to vote
FOCS
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract--We consider statistical data analysis in the interactive setting. In this setting a trusted curator maintains a database of sensitive information about individual partici...
123
click to vote
PPSN
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. In this paper, we elaborate how decision space diversity can be integrated into indicator-based multiobjective search. We introduce DIOP, the diversity integrating multio...
128
click to vote
SAC
2010
ACM
14 years 11 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
141
Voted
SOCA
2010
IEEE
14 years 11 months ago
2010
IEEE
The triangular operational model with the three roles of service-registry, -provider, and -consumer has been the traditional operational model in Service-oriented Architectures (SO...
124
click to vote
UIST
2010
ACM
14 years 11 months ago
2010
ACM
New input technologies (such as touch), recognition based input (such as pen gestures) and next-generation interactions (such as inexact interaction) all hold the promise of more ...