Sciweavers

1285 search results - page 182 / 257
» Information systems revisited - the general continuous case
Sort
View
MUM
2004
ACM
99views Multimedia» more  MUM 2004»
15 years 11 months ago
The Road Rager: making use of traffic encounters in a mobile multiplayer game
We present Road Rager, a prototype built in order to explore our hypothesis that proximity and a possibility to identify other players during temporary encounters could spur socia...
Liselott Brunnberg
PUC
2008
81views more  PUC 2008»
15 years 5 months ago
Using job-shop scheduling tasks for evaluating collocated collaboration
Researchers have begun to explore tools that allow multiple users to collaborate across multiple devices in collocated environments. These tools often allow users to simultaneously...
Desney S. Tan, Darren Gergle, Regan L. Mandryk, Ko...
DOLAP
2010
ACM
15 years 3 months ago
Using ontologies to discover fact IDs
Object identification is a crucial step in most information systems. Nowadays, we have many different ways to identify entities such as surrogates, keys and object identifiers. Ho...
Alberto Abelló, Oscar Romero
CSCW
2010
ACM
16 years 3 months ago
The work of sustaining order in wikipedia: the banning of a vandal
In this paper, we examine the social roles of software tools in the English-language Wikipedia, specifically focusing on autonomous editing programs and assisted editing tools. Th...
R. Stuart Geiger, David Ribes
ATVA
2005
Springer
131views Hardware» more  ATVA 2005»
15 years 11 months ago
An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
Fuzhi Wang, Marta Z. Kwiatkowska