1996 search results - page 107 / 400 » Financial Theory 2 |
SPATIALCOGNITION
2010
Springer
13 years 8 months ago
2010
Springer
How are space and time represented in the human mind? Here we evaluate two theoretical proposals, one suggesting a symmetric relationship between space and time (ATOM theory) and t...
ICDCSW
2008
IEEE
14 years 4 months ago
2008
IEEE
In this position paper we investigate the security of cyberphysical systems. We (1) identify and define the problem of secure control, (2) investigate the defenses that informati...
ICALP
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Turing machines exposed to a small stochastic noise are considered. An exact characterisation of their (≈ Π0 2 ) computational power (as noise level tends to 0) is obt...
TACAS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. A Craig interpolant for a mutually inconsistent pair of formulas (A, B) is a formula that is (1) implied by A, (2) inconsistent with B, and (3) expressed over the common ...
FSTTCS
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. Shop scheduling problems are known to be notoriously intractable, both in theory and practice. In this paper we give a randomized approximation algorithm for flow shop s...