Sciweavers

2436 search results - page 363 / 488
» Comonadic Notions of Computation
Sort
View
ESOP
2005
Springer
15 years 10 months ago
Forward Slicing by Conjunctive Partial Deduction and Argument Filtering
Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperat...
Michael Leuschel, Germán Vidal
HUC
2005
Springer
15 years 10 months ago
Picking Pockets on the Lawn: The Development of Tactics and Strategies in a Mobile Game
This paper presents Treasure, an outdoor mobile multiplayer game inspired by Weiser’s notion of seams, gaps and breaks in different media. Playing Treasure involves movement in a...
Louise Barkhuus, Matthew Chalmers, Paul Tennent, M...
ITRUST
2005
Springer
15 years 10 months ago
Alleviating the Sparsity Problem of Collaborative Filtering Using Trust Inferences
Collaborative Filtering (CF), the prevalent recommendation approach, has been successfully used to identify users that can be characterized as “similar” according to their logg...
Manos Papagelis, Dimitris Plexousakis, Themistokli...
LPAR
2005
Springer
15 years 10 months ago
Comparative Similarity, Tree Automata, and Diophantine Equations
The notion of comparative similarity ‘X is more similar or closer to Y than to Z’ has been investigated in both foundational and applied areas of knowledge representation and r...
Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter,...
WINE
2005
Springer
122views Economy» more  WINE 2005»
15 years 10 months ago
Walrasian Equilibrium: Hardness, Approximations and Tractable Instances
We study the complexity issues for Walrasian equilibrium in a special case of combinatorial auction, called single-minded auction, in which every participant is interested in only ...
Ning Chen, Atri Rudra