359 search results - page 37 / 72 » A Formal Model of the Process of Wayfinding in Built Environ... |
WSC
2004
13 years 10 months ago
2004
This paper presents VITASCOPE, a general-purpose, userextensible 3D visualization system for animating processes that are modeled using Discrete-Event Simulation tools. VITASCOPE ...
CPE
2003
Springer
14 years 1 months ago
2003
Springer
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
CIKM
2011
Springer
12 years 8 months ago
2011
Springer
We present Nyaya, a system for the management of Semantic-Web data which couples a general-purpose and extensible storage mechanism with efficient ontology reasoning and querying ...
AAAI
1994
13 years 10 months ago
1994
In this paper, we describe the partially observable Markov decision process pomdp approach to nding optimal or near-optimal control strategies for partially observable stochastic ...
ESEC
1999
Springer
14 years 29 days ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...