Search Sciweavers | Sciweavers

12774 search results - page 251 / 2555

» A Framework for Proof Systems

161

click to vote

AI
2010
Springer

116views Artificial Intelligence» more AI 2010»

Optimizing Advisor Network Size in a Personalized Trust-Modelling Framework for Multi-agent Systems

15 years 10 months ago

Download www.cs.uwaterloo.ca

Abstract. This paper explores potential improvements to Zhang’s personalized trust approach for e-commerce, in particular examining means of optimizing the number of advisors tha...

Joshua Gorner

claim paper

Read More »

176

click to vote

ATVA
2009
Springer

111views Hardware» more ATVA 2009»

A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement

15 years 10 months ago

Download www.cs.technion.ac.il

Yael Meller, Orna Grumberg, Sharon Shoham

claim paper

Read More »

133

click to vote

CIA
2006
Springer

83views Intelligent Agents» more CIA 2006»

A Classification Framework of Adaptation in Multi-Agent Systems

15 years 10 months ago

Download www.nesc.ac.uk

César A. Marín, Nikolay Mehandjiev

claim paper

Read More »

157

click to vote

ESTIMEDIA
2006
Springer

135views Multimedia» more ESTIMEDIA 2006»

An Energy Characterization Framework for Software-Based Embedded Systems

15 years 10 months ago

Download peace.snu.ac.kr

Donghoon Lee, Tohru Ishihara, Masanori Muroyama, H...

claim paper

Read More »

204

click to vote

PETRA
2010
ACM

219views Emerging Technology» more PETRA 2010»

Misco: a MapReduce framework for mobile systems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers