1728 search results - page 311 / 346 » Social Computing: Fundamentals and applications |
FM
2009
Springer
14 years 2 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
IEEEARES
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Following Mark Weiser’s vision of ubiquitous computing and calm technology, computer systems should run in the background, preferably without the user noticing it at ...
P2P
2006
IEEE
14 years 1 months ago
2006
IEEE
Large-scale distributed data management with P2P systems requires the existence of similarity operators for queries as we cannot assume that all users will agree on exactly the sa...
ETRA
2006
ACM
14 years 1 months ago
2006
ACM
We describe an algorithm for manipulating the temporal resolution of a video in real time, contingent upon the viewer’s direction of gaze. The purpose of this work is to study t...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
The VCG mechanism is the canonical method for motivating bidders in combinatorial auctions and exchanges to bid truthfully. We study two related problems concerning the VCG mechan...