Sciweavers

6253 search results - page 363 / 1251
» Use Case Modeling Guidelines
Sort
View
WAPCV
2007
Springer
16 years 27 days 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
16 years 9 days 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 8 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
155
Voted
WINE
2010
Springer
135views Economy» more  WINE 2010»
15 years 4 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
16 years 1 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