8030 search results - page 1266 / 1606 » User Interface |
131
click to vote
LREC
2010
15 years 6 months ago
2010
Language resources, including corpus and tools, are normally required to be combined in order to achieve a user's specific task. However, resources tend to be developed indep...
157
click to vote
GI
2008
Springer
15 years 6 months ago
2008
Springer
: As data and services are increasingly distributed in the network, rather than stored in a fixed location, one can imagine a scenario in which the Personal Computer, intended as a...
140
click to vote
CHI
2005
ACM
16 years 5 months ago
2005
ACM
The most common technique for resizing 3D objects in virtual environments is the use of 3D widgets. However, such techniques often exhibit usability problems due to difficulties i...
108
click to vote
CHI
2010
ACM
15 years 12 months ago
2010
ACM
Knowledge workers expend considerable effort managing fragmentation, characterized by constant switching among digital artifacts, when executing work activities. Activitycentric c...
126
click to vote
JSS
2006
15 years 5 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...