Sciweavers

12052 search results - page 48 / 2411

» computer 2010

25

AAAI
2010

144views Intelligent Agents» more AAAI 2010»

Computational Social Choice: Strategic and Combinatorial Aspects

13 years 10 months ago

Computational Social Choice: Strategic and Combinatorial Aspects

Download www.cs.duke.edu

Lirong Xia

claim paper

Read More »

24

CCS
2010
ACM

160views Security Privacy» more CCS 2010»

Computationally sound verification of source code

13 years 10 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 10 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 »

29

EDBT
2010
ACM

138views Database» more EDBT 2010»

Fast ELCA computation for keyword queries on XML data

13 years 10 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 »

31

AAMAS
2010
Springer

168views Intelligent Agents» more AAMAS 2010»

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

13 years 10 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 »