419 search results - page 79 / 84 » Automatic Generation of Device User-Interfaces |
111
click to vote
EKAW
2006
Springer
15 years 6 months ago
2006
Springer
As new semantic web standards evolve to allow quantified rules in FOL, we need new ways to capture them from end users. We show how to do this against a graphic view of entities an...
136
click to vote
POPL
2000
ACM
15 years 6 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...
113
Voted
VISSYM
2007
15 years 5 months ago
2007
Time series are a data type of utmost importance in many domains such as business management and service monitoring. We address the problem of visualizing large time-related data ...
87
Voted
DAGSTUHL
2010
15 years 4 months ago
2010
Shoulder joint replacement, or arthroplasty, is indicated in cases where arthritis or trauma has resulted in severe joint damage that in turn causes increased pain and decreased f...
120
Voted
MVA
2007
15 years 4 months ago
2007
We present a system to automatically assess the functional performance of stroke survivors along axes defined by the Arm Motor Ability Test (AMAT). The upper body motion of seven...