5639 search results - page 292 / 1128 » Timed Abstract Non-interference |
132
Voted
TOMACS
2008
15 years 3 months ago
2008
abstractly; it is intended to provide a basis for implementing efficient and scalable parallel algorithms that correctly simulate DEVS models. Categories and Subject Descriptors: I...
101
Voted
JGS
2000
15 years 3 months ago
2000
Abstract. Geographical Information Science is essentially computational geography and has its own research program, namely all aspects of formal models for spatial natural processe...
142
click to vote
SOFTWARE
2002
15 years 3 months ago
2002
Abstract. This paper presents a new approximation method for computing arguments or explanations in the context of logic-based argumentative or abductive reasoning. The algorithm c...
150
Voted
TMC
2002
15 years 3 months ago
2002
Abstract--Link adaptation to dynamically select the data transmission rate at a given time has been recognized as an effective way to improve the goodput performance of the IEEE 80...
112
Voted
CG
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. For the first time, automated Hex solvers have surpassed humans in their ability to solve Hex positions: they can now solve many 9