Sciweavers

12052 search results - page 48 / 2411

» computing 2010

22

AAAI
2010

144views Intelligent Agents» more AAAI 2010»

Computational Social Choice: Strategic and Combinatorial Aspects

13 years 9 months ago

Computational Social Choice: Strategic and Combinatorial Aspects

Download www.cs.duke.edu

Lirong Xia

claim paper

Read More »

21

CCS
2010
ACM

160views Security Privacy» more CCS 2010»

Computationally sound verification of source code

13 years 9 months ago

Computationally sound verification of source code

Download www.lbs.cs.uni-saarland.de

Michael Backes, Matteo Maffei, Dominique Unruh

claim paper

Read More »

22

SIGCOMM
2010
ACM

149views Communications» more SIGCOMM 2010»

To compress or not to compress - compute vs. IO tradeoffs for mapreduce energy efficiency

13 years 9 months ago

To compress or not to compress - compute vs. IO tradeoffs for mapreduce energy efficiency

Download www.eecs.berkeley.edu

Yanpei Chen, Archana Ganapathi, Randy H. Katz

claim paper

Read More »

28

EDBT
2010
ACM

138views Database» more EDBT 2010»

Fast ELCA computation for keyword queries on XML data

13 years 9 months ago

Fast ELCA computation for keyword queries on XML data

Download www.edbt.org

Rui Zhou, Chengfei Liu, Jianxin Li

claim paper

Read More »

29

AAMAS
2010
Springer

168views Intelligent Agents» more AAMAS 2010»

An autonomy-oriented computing approach to community mining in distributed and dynamic networks

13 years 9 months ago

An autonomy-oriented computing approach to community mining in distributed and dynamic networks

Download cs7132.comp.hkbu.edu.hk

Bo Yang, Jiming Liu, Dayou Liu

claim paper

Read More »

« Prev « First page 48 / 2411 Last » Next »