4352 search results - page 102 / 871 » A Representation Theorem and Applications |
86
Voted
TARK
2007
Springer
15 years 7 months ago
2007
Springer
We define a generalized state-space model with interactive unawareness and probabilistic beliefs. Such models are desirable for many potential applications of asymmetric unawaren...
112
Voted
MFCS
2005
Springer
15 years 6 months ago
2005
Springer
Due to extensive research on tree-width for undirected graphs and due to its many applications in various fields it has been a natural desire for many years to generalize the idea...
106
click to vote
MKM
2009
Springer
15 years 5 months ago
2009
Springer
Hilbert’s concept of formal proof is an ideal of rigour for mathematics which has important applications in mathematical logic, but seems irrelevant for the practice of mathemati...
136
click to vote
EUROCAST
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
105
Voted
TAPSOFT
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...