7335 search results - page 1011 / 1467 » Scene Based Reasoning |
164
click to vote
NSPW
2004
ACM
16 years 8 days ago
2004
ACM
Current models of Internet Computing are highly asymmetric – a host protects itself from malicious mobile Java programs, but there is no way to get assurances about the behavior...
189
click to vote
PASTE
2004
ACM
16 years 8 days ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
220
click to vote
ATAL
2004
Springer
16 years 7 days ago
2004
Springer
One of the key problems in the study of multi agent systems in which the agents exhibit continuous behavior is the automatic recognition and analysis of intentional activities bas...
182
click to vote
CAISE
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
185
click to vote
CONCUR
2004
Springer
16 years 7 days ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...