620 search results - page 23 / 124 » Concrete Abstractions |
WSC
2007
14 years 5 days ago
2007
Often the process and effort in building interoperable Command and Control (C2) systems and simulations can be arduous. Invariably the difficulty is in understanding what is inten...
AAECC
2006
Springer
14 years 3 months ago
2006
Springer
Abstract. We consider the problem of determining the period of a binary sequence. For sequences with small autocorrelation we prove the existence of a polynomial time quantum algor...
IWPEC
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We introduce a general notion of miniaturization of a problem that comprises the different miniaturizations of concrete problems considered so far. We develop parts of t...
OHS
2001
Springer
14 years 2 months ago
2001
Springer
Abstract At last year’s OHS workshop, I have introduced a semiotic approach to hypermedia on a broader basis [11]. This year’s contribution shall be dedicated to (still theoret...
EUROCAST
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Pattern-based verification trying to abstract away the concrete number of repeated memory structures is one of the approaches that have recently been proposed for verific...