2638 search results - page 442 / 528 » Frameworks for Reasoning about Agent Based Systems |
184
click to vote
EKAW
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Augmenting web pages with semantic contents, i.e., building a ‘Semantic Web’, promises a number of benefits for web users in general and learners in particular. Seman...
198
click to vote
EMMCVPR
2001
Springer
15 years 10 months ago
2001
Springer
To segregate overlapping objects into depth layers requires the integration of local occlusion cues distributed over the entire image into a global percept. We propose to model thi...
188
click to vote
AGP
1996
IEEE
15 years 10 months ago
1996
IEEE
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
132
click to vote
C++
1994
15 years 7 months ago
1994
During the last year we built several solutions for opening our ET++ applications for internal and external scripting. The most annoying part to be coded manually was the code stu...
177
click to vote
NGC
1998
Springer
15 years 6 months ago
1998
Springer
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...