4099 search results - page 416 / 820 » A Framework for Interactive Proof |
164
click to vote
GIS
2000
ACM
15 years 6 months ago
2000
ACM
Recommendationsfor implementationand evaluation of Geographical Information Systems (GIS) can bene t from a broader theoretical foundation to support investigation, understanding a...
211
click to vote
ICDE
2010
IEEE
16 years 1 months ago
2010
IEEE
Abstract— Developing a full-fledged cost-based XQuery optimizer is a fairly complex task. Nowadays, there is little knowledge concerning suitable cost formulae and optimization ...
171
click to vote
AOSD
2009
ACM
16 years 1 months ago
2009
ACM
ive semantics for aspect-oriented abstractions can be defined by language designers using extensible aspect compiler frameworks. However, application developers are prevented fro...
152
click to vote
ICTAI
2007
IEEE
16 years 1 months ago
2007
IEEE
In this work we report results on the use of symbolic knowledge representation and reasoning (KRR) for perceptual anchoring. This is the creation and maintenance of a connection b...
181
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a multi-agent framework designed to simulate synthetic humans that properly balance task oriented and social behaviors. The work presented in this paper focuses...