4486 search results - page 387 / 898 » Adaptable Boundary Sets |
200
click to vote
LICS
1999
IEEE
15 years 12 months ago
1999
IEEE
This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by adapting the recursive path ordering definition to terms of a typed ...
183
click to vote
COST
2009
Springer
15 years 11 months ago
2009
Springer
We present the concept and motivations for the development of Affect Listeners, conversational systems aiming to detect and adapt to affective states of users, and meaningfully res...
159
click to vote
LREC
2008
15 years 9 months ago
2008
In this paper we present a usability measure adapted to mobile services, which is based on the well-known theoretical framework defined in the ISO 9241-11 [ISO 9241 (1988)] standa...
198
click to vote
GVD
2004
15 years 9 months ago
2004
Caching is a proven means to improve scalability and availability of software systems as well as to reduce latency of user requests. In contrast to Web caching where single Web ob...
179
click to vote
ECIS
2001
15 years 9 months ago
2001
In the research-in-progress reported here, we adapted the classic Mason and Mitroff characterization of an information system to a web environment. The resulting definition was us...