7335 search results - page 1413 / 1467 » Scene Based Reasoning |
170
click to vote
AGENTS
1998
Springer
15 years 7 months ago
1998
Springer
Which agent architectures are capable of justifying descriptions in terms of the `higher level' mental concepts applicable to human beings? We propose a new kind of architect...
119
click to vote
CP
1998
Springer
15 years 7 months ago
1998
Springer
We study how constraint-based static analysis can be applied to the automated and systematic debugging of program errors. Strongly moding and constraint-based mode analysis are tur...
115
click to vote
SIGOPSE
1998
ACM
15 years 7 months ago
1998
ACM
The majority of work on protection in single-language mobile code environments focuses on information security issues and depends on the language environment for solutions to the ...
134
click to vote
SPAA
1998
ACM
15 years 7 months ago
1998
ACM
Modern shared-memory multiprocessors use complex memory system implementations that include a variety of non-trivial and interacting optimizations. More time is spent in verifying...
128
click to vote
WAN
1998
Springer
15 years 7 months ago
1998
Springer
In this paper the Northrhine-Westphalian metacomputing initiative is described. We start by discussing various general aspects of metacomputing and explain the reasons for founding...