Sciweavers

69 search results - page 1 / 14
» A Qualitative Formalization of Built Environments
Sort
View
DEXA
2000
Springer
82views Database» more  DEXA 2000»
14 years 3 months ago
A Qualitative Formalization of Built Environments
Abstract. In this paper I argue that a qualitative formalization of built environments needs to take into account: (1) the ontological distinction between bonafide and fiat bound...
Thomas Bittner
COSIT
1999
Springer
189views GIS» more  COSIT 1999»
14 years 3 months ago
A Formal Model of the Process of Wayfinding in Built Environments
Previous recent research on human wayfinding has focused primarily on mental representations rather than processes of wayfinding. This paper presents a formal model of some aspect...
Martin Raubal, Michael F. Worboys
RTCSA
1997
IEEE
14 years 3 months ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha
IJCAT
2007
100views more  IJCAT 2007»
13 years 10 months ago
INCA: qualitative reference framework for incentive mechanisms in P2P networks
: The existence of peer-to-peer networks is due to benefits brought by decentralisation of control and distribution of resources. It is expected that the usage of such networks wi...
Andrew Roczniak, Abdulmotaleb El-Saddik, Pierre L&...
IUI
2004
ACM
14 years 4 months ago
Qualitative physics in virtual environments
In this paper, we describe a new approach to the creation of virtual environments, which uses qualitative physics to implement object behaviour. We adopted Qualitative Process The...
Marc Cavazza, Simon Hartley, Jean-Luc Lugrin, Mika...