Sciweavers

515 search results - page 91 / 103
» A Strategy for Information Source Identification
Sort
View
SIGGRAPH
1998
ACM
15 years 7 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
15 years 7 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
144
Voted
FM
2006
Springer
133views Formal Methods» more  FM 2006»
15 years 7 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
15 years 5 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
15 years 4 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