8624 search results - page 1363 / 1725 » Designing Eyes-Free Interaction |
176
click to vote
JIIS
2008
15 years 6 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
187
click to vote
JMLR
2008
15 years 6 months ago
2008
Many complex control problems require sophisticated solutions that are not amenable to traditional controller design. Not only is it difficult to model real world systems, but oft...
185
click to vote
IVS
2006
15 years 6 months ago
2006
Very early in the object recognition process the human visual system extracts shading information. While shading can enhance the visibility of structures, it can have a negative i...
178
click to vote
JMM2
2006
15 years 6 months ago
2006
The aim of the presented system is simplification and speedup of the daily pathological examination routine. The system combines telepathology with computer-aided diagnostics algor...
176
click to vote
JSS
2006
15 years 6 months ago
2006
Integrating a system of disparate components to form a single application is still a daunting, high risk task, especially for components with heterogeneous communication expectati...