12052 search results - page 272 / 2411 » computer 2010 |
194
click to vote
LOGCOM
2010
14 years 12 months ago
2010
We describe a method to axiomatize computations in deterministic Turing machines (TMs). When applied to computations in non-deterministic TMs, this method may produce contradictor...
133
click to vote
SIGECOM
2010
ACM
15 years 10 months ago
2010
ACM
The Combinatorial Public Projects Problem s an abstraction of resource allocation problems in which agents have preferences over alternatives, and an outcome that is to be collect...
161
click to vote
ISPEC
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In this paper we address the problem of inefficiency of exact attack tree computations. We propose several implementation-level optimizations and introduce a genetic algo...
138
click to vote
JUCS
2010
14 years 12 months ago
2010
: We investigate the relationship between computable metric spaces (X, d, ) and (X, d, ), where (X, d) is a given metric space. In the case of Euclidean space, and are equivalent ...
155
click to vote
EL
2002
15 years 5 months ago
2002
Distributed, real-time multiplayer computer games (MCGs) are in the vanguard of utilizing the networking possibilities. Although related research have been done in military simulat...