7335 search results - page 1413 / 1467 » Scene Based Reasoning |
145
click to vote
AGENTS
1998
Springer
15 years 5 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...
94
Voted
CP
1998
Springer
15 years 5 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...
SIGOPSE
1998
ACM
15 years 5 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 ...
114
Voted
SPAA
1998
ACM
15 years 5 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...
106
click to vote
WAN
1998
Springer
15 years 5 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...