5243 search results - page 716 / 1049 » Reasoning About Strategies |
179
click to vote
OTM
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. This paper presents a knowledge-based approach to eLearning, where the domain ontology plays central role as a resource structuring the learning content and supporting ï¬...
175
click to vote
TACAS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of ï¬rst order logic. Th...
177
click to vote
UIALL
2004
Springer
16 years 4 days ago
2004
Springer
In this paper we report on ongoing experiments with an advanced multimodal system for applications in architectural design. The system supports uninformed users in entering the rel...
200
click to vote
ECCV
2010
Springer
16 years 4 days ago
2010
Springer
Spooï¬ng with photograph or video is one of the most common manner to circumvent a face recognition system. In this paper, we present a real-time and non-intrusive method to addre...
163
click to vote
HICSS
2003
IEEE
16 years 2 days ago
2003
IEEE
e-Negotiation involves two or more agents multilaterally bargaining for mutual gain, using information technologies in a cooperative problem-solving (CPS) environment. This paper ...