Sciweavers

1855 search results - page 146 / 371
» Probabilistic Frame-Based Systems
Sort
View
TSMC
2008
113views more  TSMC 2008»
15 years 6 months ago
Computational Methods for Verification of Stochastic Hybrid Systems
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
Xenofon D. Koutsoukos, Derek Riley
CLEF
2006
Springer
15 years 10 months ago
Quartz: A Question Answering System for Dutch
We describe a question answering system for Dutch that we used for our participation in the 2006 CLEF Question Answering Dutch monolingual task. We give an overview of the system a...
David Ahn, Valentin Jijkoun, Joris van Rantwijk, M...
FDL
2006
IEEE
16 years 13 days ago
Randomized Simulation of Hybrid Systems For Circuit Validation
Abstract. The paper proposes a simulation-based method for validating analog and mixed-signal circuits, using the hybrid systems methodology. This method builds upon RRT (Rapidly-e...
Thao Dang, Tarik Nahhal
CAISE
2006
Springer
15 years 10 months ago
Managing Source Quality Changes in a Data Integration System
This thesis addresses the problem of source quality changes in Data Integration Systems. Its main goal is to propose techniques for maintaining as much as possible the satisfaction...
Adriana Marotta
NAACL
2007
15 years 7 months ago
Agenda-Based User Simulation for Bootstrapping a POMDP Dialogue System
This paper investigates the problem of bootstrapping a statistical dialogue manager without access to training data and proposes a new probabilistic agenda-based method for simula...
Jost Schatzmann, Blaise Thomson, Karl Weilhammer, ...