3116 search results - page 557 / 624 » Positively dependent types |
ICCCI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The Semantic Web promises increased precision in automated information sorting, searching, organizing and summarizing. Realizing this requires significantly more reliabl...
MHCI
2009
Springer
15 years 4 months ago
2009
Springer
We report a series of user studies that evaluate the feasibility and usability of light-weight user authentication with a single tri-axis accelerometer. We base our investigation ...
IROS
2008
IEEE
15 years 4 months ago
2008
IEEE
—We present a novel particle filter implementation for estimating the pose of tags in the environment with respect to an RFID-equipped robot. This particle filter combines sign...
LICS
2008
IEEE
15 years 4 months ago
2008
IEEE
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...
BIBM
2007
IEEE
15 years 4 months ago
2007
IEEE
Clustering has been shown to be effective in analyzing functional relationships of genes. However, no single clustering method with single distance metric is capable of capturing ...