9425 search results - page 36 / 1885 » Some Notes on Models and Modelling |
FSEN
2009
Springer
14 years 2 months ago
2009
Springer
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
ECAI
1998
Springer
14 years 2 months ago
1998
Springer
A well-known framework by Fagin, Halpern, Moses and Vardi models knowledge-based agents as \Interpreted Systems". In this paper we analyse a particular class of interpreted sy...
ELPUB
2007
ACM
14 years 2 months ago
2007
ACM
This paper presents a brief summary of the findings of a Web-based survey of the views of Australian publishers, on the potential impact of digital technologies, followed by three...
CONTEXT
2001
Springer
14 years 3 months ago
2001
Springer
Many attempts have been made to capture, on the one hand, the nature of knowledge, and on the other hand, the nature of context. In this paper, we compare the two concepts of conte...
FSE
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. In this article, it is discussed how to construct a compression function with 2n-bit output using a component function with n-bit output. The component function is either...