Sciweavers

515 search results - page 91 / 103
» A Strategy for Information Source Identification
Sort
View
SIGGRAPH
1998
ACM
13 years 11 months ago
mediaBlocks: Physical Containers, Transports, and Controls for Online Media
We present a tangible user interface based upon mediaBlocks: small, electronically tagged wooden blocks that serve as physical icons (“phicons”) for the containment, transport...
Brygg Ullmer, Hiroshi Ishii, Dylan Glas
CANDT
2009
13 years 11 months ago
An analysis of the social structure of remix culture
We present findings from our study of a music sharing and remixing community in an effort to quantify and understand the structural characteristics of commons-based peer productio...
Giorgos Cheliotis, Jude Yew
FM
2006
Springer
133views Formal Methods» more  FM 2006»
13 years 11 months ago
Enforcer - Efficient Failure Injection
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...
Cyrille Artho, Armin Biere, Shinichi Honiden
ATAL
2008
Springer
13 years 9 months ago
A heads-up no-limit Texas Hold'em poker player: discretized betting models and automatically generated equilibrium-finding progr
We present Tartanian, a game theory-based player for headsup no-limit Texas Hold'em poker. Tartanian is built from three components. First, to deal with the virtually infinit...
Andrew Gilpin, Tuomas Sandholm, Troels Bjerre S&os...
BIOCOMP
2007
13 years 8 months ago
Quality-Based Similarity Search for Biological Sequence Databases
Low-Complexity Regions (LCRs) of biological sequences are the main source of false positives in similarity searches for biological sequence databases. We consider the problem of ...
Xuehui Li, Tamer Kahveci