94 search results - page 1 / 19 » Second Space: A Generative Model for the Blogosphere |
ICWSM
2008
13 years 6 months ago
2008
FCCM
2003
IEEE
13 years 10 months ago
2003
IEEE
A second generation of an embedded input device for kinetically challenged persons is presented. The new system can detect O(n2 ) free motions in space with O(n) hardware, and has...
TSE
2010
12 years 11 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
GI
2009
Springer
13 years 9 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
ATAL
2008
Springer
13 years 6 months ago
2008
Springer
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...