Sciweavers

521 search results - page 49 / 105
» A Probabilistic Framework for Answer Selection in Question A...
Sort
View
ISIPTA
2005
IEEE
140views Mathematics» more  ISIPTA 2005»
14 years 1 months ago
Conservative Rules for Predictive Inference with Incomplete Data
This paper addresses the following question: how should we update our beliefs after observing some incomplete data, in order to make credible predictions about new, and possibly i...
Marco Zaffalon
PERVASIVE
2007
Springer
14 years 1 months ago
Ambient Information Systems: Evaluation in Two Paradigms
We take two paradigms for information systems development, functionalism and social relativism, and apply their assumptions to the evaluation of ambient information systems. Ambie...
Zachary Pousman, John T. Stasko
FMSD
2010
118views more  FMSD 2010»
13 years 6 months ago
On simulation-based probabilistic model checking of mixed-analog circuits
In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...
Edmund M. Clarke, Alexandre Donzé, Axel Leg...
IADIS
2004
13 years 9 months ago
A Taxonomy for Scenario-Based Engineering
Recent works about the activity-oriented approach et educational modeling languages ask questions about the pedagogical scenario concept. The aim of this paper is to define the fo...
Anne Lejeune, Jean-Philippe Pernin
ECEASST
2008
60views more  ECEASST 2008»
13 years 7 months ago
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences
Abstract: In several rule-based applications using graph transformation as underlying modeling technique the following questions arise: How can one be sure that a specific sequence...
Leen Lambers, Hartmut Ehrig, Gabriele Taentzer