4650 search results - page 323 / 930 » Generating and evaluating evaluative arguments |
365
click to vote
SAC
2011
ACM
14 years 9 months ago
2011
ACM
Slice sampling provides an easily implemented method for constructing a Markov chain Monte Carlo (MCMC) algorithm. However, slice sampling has two major drawbacks: (i) it requires...
285
click to vote
CANDC
2011
ACM
14 years 6 months ago
2011
ACM
This paper reports on an empirical study that uses a Grounded Theory approach to investigate the creative practices of Machinima filmmakers. Machinima is a new digital film produc...
209
click to vote
HUC
2011
Springer
14 years 6 months ago
2011
Springer
We describe the design and field evaluation of the Serendipitous Family Stories system, a web and mobile service that allows for videos to be saved in user-specified real-world lo...
205
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
—There is increasing interest in analyzing networks of all types including social, biological, sensor, computer, and transportation networks. Broadly speaking, we may be interest...
175
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...