10568 search results - page 210 / 2114 » Computer Intelligence and Formalization |
137
click to vote
AAAI
2004
15 years 4 months ago
2004
Pervasive computing aims to build an aggregated environment around a user by knitting diverse computing and communicating devices and software services into a single homogeneous u...
133
click to vote
CLIMA
2004
15 years 4 months ago
2004
In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexi...
106
click to vote
MIAR
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper, we propose an approach to find the optimal position of an electrode, for assisting surgeons in planning Deep Brain Stimulation. We first show how we formalized the...
136
click to vote
SOCA
2007
IEEE
15 years 9 months ago
2007
IEEE
Business intelligence is a business management term used to describe applications and technologies which are used to gather, provide access to and analyze data and information abo...
113
click to vote
OZCHI
2005
ACM
15 years 8 months ago
2005
ACM
This paper describes research into the personalised delivery of information about an intelligent environment. The challenges we need to address are the dual forms of the Invisibili...