Sciweavers

2642 search results - page 438 / 529
» Merge-by-Wire: Algorithms and System Support
Sort
View
ATAL
2010
Springer
13 years 10 months ago
Argumentative alternating offers
This paper presents an argumentative version of the well known alternating offers negotiation protocol. The negotichanism is based on an abstract preference based argumentation fr...
Nabila Hadidi, Yannis Dimopoulos, Pavlos Moraitis
FSTTCS
2008
Springer
13 years 10 months ago
Runtime Monitoring of Metric First-order Temporal Properties
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...
David A. Basin, Felix Klaedtke, Samuel Müller...
CAL
2006
13 years 9 months ago
User-Driven Frequency Scaling
Abstract-- We propose and evaluate User-Driven Frequency Scaling (UDFS) for improved power management on processors that support Dynamic Voltage and Frequency Scaling (DVFS), e.g, ...
Arindam Mallik, Bin Lin, Gokhan Memik, Peter A. Di...
CORR
2007
Springer
95views Education» more  CORR 2007»
13 years 9 months ago
Slope One Predictors for Online Rating-Based Collaborative Filtering
Rating-based collaborative filtering is the process of predicting how a user would rate a given item from other user ratings. We propose three related slope one schemes with pred...
Daniel Lemire, Anna Maclachlan
ISI
2006
Springer
13 years 9 months ago
Visualizing Authorship for Identification
As a result of growing misuse of online anonymity, researchers have begun to create visualization tools to facilitate greater user accountability in online communities. In this stu...
Ahmed Abbasi, Hsinchun Chen