9370 search results - page 132 / 1874 » An Abstract Notion of Application |
IWPEC
2004
Springer
15 years 6 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...
96
Voted
HYBRID
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. In this paper we investigate the question of the global controllability posed for control hybrid systems with autounomous and controlled swithchings. The main tool for ou...
CONTEXT
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. The basic Event Calculus is extended by a Calculus of Narrative Context, to allow for reasoning about counterfactuals. Different hypothetical courses of events are disti...
98
Voted
EUROCRYPT
1994
Springer
15 years 4 months ago
1994
Springer
Abstract. We construct the first O(1)-size designated confirmer signatures (DCS) with security in the state-of-the-art model of Camenisch and Michels, Eurocrypt 2000, without rando...
115
Voted
ECAI
1992
Springer
15 years 4 months ago
1992
Springer
Abstract. The paper refutes the general phenomenological argument that knowledge cannot be completely represented by symbols and, hence, symbolic AI does not work. Moreover, the vi...