Sciweavers

316 search results - page 33 / 64
» Reducing the Cost of Generating APH-Distributed Random Numbe...
Sort
View
AAAI
2010
13 years 10 months ago
Voting Almost Maximizes Social Welfare Despite Limited Communication
In cooperative multiagent systems an alternative that maximizes the social welfare--the sum of utilities--can only be selected if each agent reports its full utility function. Thi...
Ioannis Caragiannis, Ariel D. Procaccia
ACSAC
2006
IEEE
14 years 2 months ago
PAST: Probabilistic Authentication of Sensor Timestamps
Sensor networks are deployed to monitor the physical environment in public and vulnerable locations. It is not economically viable to house sensors in tamper-resilient enclosures ...
Ashish Gehani, Surendar Chandra
ICDE
2004
IEEE
125views Database» more  ICDE 2004»
14 years 10 months ago
Range CUBE: Efficient Cube Computation by Exploiting Data Correlation
Data cube computation and representation are prohibitively expensive in terms of time and space. Prior work has focused on either reducing the computation time or condensing the r...
Ying Feng, Divyakant Agrawal, Amr El Abbadi, Ahmed...
CIB
2004
90views more  CIB 2004»
13 years 8 months ago
A Support Environment for Domain Ontology Development with General Ontologies and Text Corpus
For constructing semantically rich service descriptions in Grid services, emerging ontologies are being used. To generate ontologies, an issue named "ontology bottleneck"...
Naoki Sugiura, Noriaki Izumi, Takahira Yamaguchi
FM
2001
Springer
96views Formal Methods» more  FM 2001»
14 years 1 months ago
Houdini, an Annotation Assistant for ESC/Java
A static program checker that performs modular checking can check one program module for errors without needing to analyze the entire program. Modular checking requires that each m...
Cormac Flanagan, K. Rustan M. Leino