Sciweavers

283 search results - page 53 / 57
» Conceptual Spaces in ViCoS
Sort
View
GRAPHICSINTERFACE
2004
13 years 10 months ago
Object Pointing: A Complement to Bitmap Pointing in GUIs
Pointing, a cornerstone of our graphical user interfaces, has been conceptualized and implemented so far as the act of selecting pixels in bitmap displays. We show that the curren...
Yves Guiard, Renaud Blanch, Michel Beaudouin-Lafon
AUTOMATICA
2010
146views more  AUTOMATICA 2010»
13 years 8 months ago
Parameter estimation and compensation in systems with nonlinearly parameterized perturbations
We consider a class of systems influenced by perturbations that are nonlinearly parameterized by unknown constant parameters, and develop a method for estimating the unknown param...
Håvard Fjær Grip, Tor Arne Johansen, L...
CORR
2010
Springer
168views Education» more  CORR 2010»
13 years 8 months ago
A Bayesian Review of the Poisson-Dirichlet Process
The two parameter Poisson-Dirichlet process is also known as the PitmanYor Process and related to the Chinese Restaurant Process, is a generalisation of the Dirichlet Process, and...
Wray L. Buntine, Marcus Hutter
CORR
2008
Springer
148views Education» more  CORR 2008»
13 years 8 months ago
The craft of model making: PSPACE bounds for non-iterative modal logics
The methods used to establish PSPACE-bounds for modal logics can roughly be grouped into two classes: syntax driven methods establish that exhaustive proof search can be performed...
Lutz Schröder, Dirk Pattinson
CORR
2008
Springer
129views Education» more  CORR 2008»
13 years 8 months ago
A polytime proof of correctness of the Rabin-Miller algorithm from Fermat's little theorem
Although a deterministic polytime algorithm for primality testing is now known ([4]), the Rabin-Miller randomized test of primality continues being the most efficient and widely u...
Grzegorz Herman, Michael Soltys