2184 search results - page 54 / 437 » Assistive Embedded Technologies |
103
click to vote
CIKM
2008
Springer
14 years 11 months ago
2008
Springer
The terms that are used by users during tagging have been found to be different from the terms that are used when searching for resources, which represents a fundamental problem f...
AIPS
1996
14 years 11 months ago
1996
We have been examining mixed-initiative planning systems in the context of command and control or logistical overview situations. In such environments, the human and the computer ...
FROCOS
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
IWSAS
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Model-Integrated Computing is a proven technology for designing and implementing complex software systems. Making the designtime models available at run-time benefits the...
CHI
2009
ACM
15 years 10 months ago
2009
ACM
A long term goal of assistive technology research is to build creative expression applications where subjects can extemporaneously express themselves. Sketch drawing is one form o...