13090 search results - page 2397 / 2618 » Usable artificial intelligence |
139
click to vote
KI
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Interaction means to share a communicative space with others. Social interactions are reciprocally-oriented activities among currently present partners. An artificial sy...
139
click to vote
KI
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Analysing human behavior is a key step in smart home applications. Many reasoning approaches utilize information of location and posture of the occupant in qualitative as...
132
click to vote
KI
2007
Springer
16 years 21 days ago
2007
Springer
The paper describes the Executable Design Concept which is one of the main components of HeKatE: Hybrid Knowledge Engineering methodology. HeKatE project aims at developing a metho...
190
click to vote
LFCS
2007
Springer
16 years 21 days ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
186
click to vote
LFCS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Balanced search trees provide guaranteed worst-case time performance and hence they form a very important class of data structures. However, the self-balancing ability co...