Sciweavers

4211 search results - page 3 / 843
» A formal approach to MASQ
Sort
View
AAAI
2011
12 years 6 months ago
Transportability of Causal and Statistical Relations: A Formal Approach
We address the problem of transferring information learned from experiments to a different environment, in which only passive observations can be collected. We introduce a formal ...
Judea Pearl, Elias Bareinboim
ICCBR
2010
Springer
13 years 4 months ago
Amalgams: A Formal Approach for Combining Multiple Case Solutions
How to reuse or adapt past solutions to new problems is one of the least understood problems in case-based reasoning. In this paper we will focus on the problem of how to combine s...
Santiago Ontañón, Enric Plaza
ISEMANTICS
2010
13 years 4 months ago
Towards an approach for formalizing the supply chain operations
Reference models play an important role in the knowledge management of the various complex collaboration domains (such as Supply Chain Networks). However, they often show a lack o...
Milan Zdravkovic, Hervé Panetto, Miroslav T...
INFORMATICALT
2010
116views more  INFORMATICALT 2010»
13 years 4 months ago
An Approach to Formalize Metainformation of Software Localizable Resources
Software localization is one of important tasks to insure a successful computer user experience. The paper discusses how localization of the software dialog text can be accelerated...
Valentina Dagiene, Tatjana Jevsikova
JAR
2010
82views more  JAR 2010»
13 years 4 months ago
A Formal Logic Approach to Constrained Combinatorial Testing
Andrea Calvagna, Angelo Gargantini