Sciweavers

2909 search results - page 112 / 582
» Consistency of the theory of contexts
Sort
View
ACSD
2005
IEEE
114views Hardware» more  ACSD 2005»
15 years 12 months ago
Controlling Speculative Design Processes Using Rich Component Models
This paper elaborates on the application of some aspects of robust systems control theory to the management of uncertainty and risk in distributed and complex design processes, ha...
Werner Damm
ENTCS
2006
159views more  ENTCS 2006»
15 years 6 months ago
Approximations of Modal Logic K
Inspired by the recent work on approximating classical logic, we present a procedure that approximates the modal logic K by determining a maximum limit of introspection. This proc...
Guilherme de Souza Rabello, Marcelo Finger
IJMMS
2007
88views more  IJMMS 2007»
15 years 6 months ago
The sensual evaluation instrument: Developing a trans-cultural self-report measure of affect
In this paper we describe the development and testing of a tool for self-assessment of affect while interacting with computer systems, meant to be used in many cultures. We discus...
Katherine Isbister, Kristina Höök, Jarmo...
NGC
2002
Springer
15 years 6 months ago
Chance Discovery and Scenario Analysis
Scenario analysis is often used to identify possible chance events. However, no formal, computational theory yet exists for scenario analysis. In this paper, we commence developme...
Peter McBurney, Simon Parsons
SYNTHESE
2010
101views more  SYNTHESE 2010»
15 years 4 months ago
Bayesian probability
“Bayesian probability” here means the concept of probability used in Bayesian decision theory. It is usually identified with the agent’s degrees of belief but that interpret...
Patrick Maher