Sciweavers

1882 search results - page 286 / 377
» A User Interaction Model for NFC Enabled Applications
Sort
View
TPHOL
2005
IEEE
14 years 2 months ago
On the Correctness of Operating System Kernels
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach...
ICVGIP
2004
13 years 10 months ago
On Learning Shapes from Shades
Shape from Shading (SFS) is one of the most extensively studied problems in Computer Vision. However, most of the approaches only deal with Lambertian or other specific shading mo...
Subhajit Sanyal, Mayank Bansal, Subhashis Banerjee...
EUSFLAT
2009
141views Fuzzy Logic» more  EUSFLAT 2009»
13 years 6 months ago
An Experimental Study on the Interpretability of Fuzzy Systems
Abstract-- Interpretability is one of the most significant properties of Fuzzy Systems which are widely acknowledged as gray boxes against other Soft Computing techniques such as N...
José M. Alonso, Luis Magdalena
EICS
2010
ACM
13 years 6 months ago
An automated routine for menu structure optimization
We propose an automated routine for hierarchical menu structure optimization. A computer advice-giving system founded on the mathematical model of menu navigation directs the desi...
Mikhail V. Goubko, Alexander I. Danilenko
ICRA
2010
IEEE
183views Robotics» more  ICRA 2010»
13 years 6 months ago
The Bielefeld anthropomorphic robot head "Flobi"
A robot's head is important both for directional sensors and, in human-directed robotics, as the single most visible interaction interface. However, designing a robot's h...
Ingo Lütkebohle, Frank Hegel, Simon Schulz, M...