3782 search results - page 458 / 757 » Engineering Social Order |
166
click to vote
ISSTA
2004
ACM
16 years 3 days ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
166
click to vote
IUI
2004
ACM
16 years 3 days ago
2004
ACM
The goal of this work is to provide users immersed in a multi-platform environment with the possibility of interacting with an application while freely moving from one device to a...
155
click to vote
IUI
2004
ACM
16 years 3 days ago
2004
ACM
In many practical scenarios, users are faced with the problem of choosing the most preferred outcome from a large set of possibilities. As people are unable to sift through them m...
167
click to vote
IUI
2004
ACM
16 years 3 days ago
2004
ACM
In order to give people ubiquitous access to software applications, device controllers, and Internet services, it will be necessary to automatically adapt user interfaces to the c...
167
click to vote
SAC
2004
ACM
16 years 3 days ago
2004
ACM
Engineering adaptive Web applications implies the development of content that can be automatically adjusted to varying client devices and user preferences. To meet this requiremen...