4266 search results - page 301 / 854 » A Framework for Defining Logics |
146
click to vote
LREC
2008
15 years 8 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...
159
click to vote
ICAI
2004
15 years 8 months ago
2004
Abstract-- We define a framework for what we call potentialbased computing and show how it may be applied to actionmotion applications in general and dynamic games in particular. W...
187
click to vote
ICCD
2008
IEEE
16 years 3 months ago
2008
IEEE
Abstract— Over the last decade, the design of ultra-lowpower digital circuits in subthreshold regime has been driven by the quest for minimum energy per operation. In this contri...
184
click to vote
SIGIR
1996
ACM
15 years 11 months ago
1996
ACM
The aggregated structure of documents plays a key role in full-text, multimedia, and network Information Retrieval (IR). Considering aggregation provides new querying facilities a...
234
click to vote
FUIN
2007
15 years 6 months ago
2007
Abstract. Consider an agent executing a plan with nondeterministic actions, in a dynamic environment, which might fail. Suppose that she is given a description of this action domai...