Sciweavers

3545 search results - page 19 / 709
» Computational methods for case-cohort studies
Sort
View
ACMACE
2007
ACM
15 years 10 months ago
Capture the flag: simulating a location-based mobile game using the wizard-of-oz method
We present a wizard of Oz framework for the simulation of locationbased mobile games. We explore briefly the methodological concept of Wizard of Oz and show, based on a case study...
Regina Bernhaupt, Stefan Jenisch, York Keyser, Man...
DSVIS
1998
Springer
15 years 10 months ago
A Uniform Approach for Specification and Design of Interactive Systems: the B Method
: We have experienced the B Method on a case study which was defined by the French working group on formalisms for interactive systems, i.e. a Post-It
Yamine Aït Ameur, Patrick Girard, Francis Jam...
IGPL
2007
107views more  IGPL 2007»
15 years 5 months ago
Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs
This work studies the structure of proofs containing non-analytic cuts in the cut-based system, a sequent inference system in which the cut rule is not eliminable and the only bra...
Marcelo Finger, Dov M. Gabbay
JMIV
2010
78views more  JMIV 2010»
15 years 22 days ago
Unified Computation of Strict Maximum Likelihood for Geometric Fitting
A new numerical scheme is presented for strictly computing maximum likelihood (ML) of geometric fitting problems. Intensively studied in the past are those methods that first tran...
Kenichi Kanatani, Yasuyuki Sugaya
CHI
2010
ACM
15 years 7 months ago
Hands free mouse: comparative study on mouse clicks controlled by humming
In this paper we present a novel method of simulating mouse clicks while the cursor is navigated by head movements tracked by webcam. Our method is based on simple hummed voice co...
OndYej Poláek, Zdenk Mikovec