Sciweavers

6253 search results - page 363 / 1251
» Use Case Modeling Guidelines
Sort
View
WAPCV
2007
Springer
15 years 10 months ago
Simulation and Formal Analysis of Visual Attention in Cognitive Systems
In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of a cognitive system which comprises an agent that suppor...
Tibor Bosse, Peter-Paul van Maanen, Jan Treur
ESWS
2005
Springer
15 years 10 months ago
Querying RDF Data from a Graph Database Perspective
Abstract. This paper studies the RDF model from a database perspective. From this point of view it is compared with other database models, particularly with graph database models, ...
Renzo Angles, Claudio Gutiérrez
UAI
1989
15 years 5 months ago
Can Uncertainty Management be Realized in a Finite Totally Ordered Probability Algebra?
In this paper, the feasibility of using finite totally ordered probability models under Aleliunas’s Theory of Probabilistic Logic [Aleliunas, 1988] is investigated. The general...
Yang Xiang, Michael P. Beddoes, David Poole
WINE
2010
Springer
135views Economy» more  WINE 2010»
15 years 2 months ago
Market Communication in Production Economies
We study the information content of equilibrium prices using the market communication model of Deng, Papadimitriou, and Safra [4]. We show that, in the worst case, communicating an...
Christopher A. Wilkens
QEST
2009
IEEE
15 years 11 months ago
Language-Level Symmetry Reduction for Probabilistic Model Checking
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
Alastair F. Donaldson, Alice Miller, David Parker