4099 search results - page 727 / 820 » A Framework for Interactive Proof |
116
click to vote
DEON
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Logical architectures combine several logics into a more complex logical system. In this paper we study a logical architecture using input/output operations corresponding...
133
click to vote
DFKI
2005
Springer
15 years 6 months ago
2005
Springer
It is widely accepted in Distributed Artificial Intelligence that a crucial property of artificial agents is their autonomy. Whereas agent autonomy enables features of agent-base...
147
click to vote
COMPSAC
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper presents a methodology for setting up a Decision Support system for User Interface Design (DSUID). We first motivate the role and contributions of DSUID and then demons...
146
click to vote
CP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Call control features (e.g., call-divert, voice-mail) are primitive options to which users can subscribe off-line to personalise their service. The configuration of a fea...
133
click to vote
CSCW
2008
ACM
15 years 5 months ago
2008
ACM
This article presents a rational model developed under the distributed cognition framework that explains how social tags influence knowledge acquisition and adaptation in explorat...