10715 search results - page 1834 / 2143 » From Tests to Proofs |
202
click to vote
ESWS
2009
Springer
15 years 4 months ago
2009
Springer
In different areas ontologies have been developed and many of these ontologies contain overlapping information. Often we would therefore want to be able to use multiple ontologies....
202
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
The need for an automatic inference process able to deal with information coming from unreliable sources is becoming a relevant issue both on corporate networks and on the open Web...
190
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: GPS technology has made it possible to evaluate the performance of outdoor advertising campaigns in an objective manner. Given the GPS trajectories of a sample of test pe...
177
click to vote
HCI
2009
15 years 4 months ago
2009
Task time is a measure of productivity in an interface. Keystroke Level Modeling (KLM) can predict experienced user task time to within 10 to 30% of actual times. One of the bigges...
154
click to vote
HCI
2009
15 years 4 months ago
2009
The Camera Mouse is a mouse-replacement interface for users with movement impairments. It tracks a selected body feature, such as the nose, eyebrow or finger, through a web camera ...