Sciweavers

3235 search results - page 423 / 647
» Partial Redundant Modeling
Sort
View
IEE
2008
117views more  IEE 2008»
15 years 3 months ago
Formal verification of systems with an unlimited number of components
1 2 3 In many real component-based systems and patterns of component interaction, there can be identified a stable part (like control component, server, instance handler) and a nu...
Pavlína Vareková, Barbora Zimmerova,...
IJAR
2008
119views more  IJAR 2008»
15 years 2 months ago
Least committed basic belief density induced by a multivariate Gaussian: Formulation with applications
We consider here the case where our knowledge is partial and based on a betting density function which is n-dimensional Gaussian. The explicit formulation of the least committed b...
Francois Caron, Branko Ristic, Emmanuel Duflos, Ph...
IJAR
2010
120views more  IJAR 2010»
15 years 2 months ago
Comparison of tightly and loosely coupled decision paradigms in multiagent expedition
Frameworks for cooperative multiagent decision making may be divided into those where each agent is assigned a single variable (SVFs) and those where each agent carries an interna...
Yang Xiang, Franklin Hanshar
SIAMSC
2010
194views more  SIAMSC 2010»
15 years 2 months ago
A Multilevel Algorithm for Simultaneously Denoising and Deblurring Images
In this paper, we develop a fast multilevel algorithm for simultaneously denoising and deblurring images under the total variation regularization. Although much effort has been de...
Raymond H. Chan, Ke Chen 0002
NAACL
2010
15 years 2 months ago
Appropriately Handled Prosodic Breaks Help PCFG Parsing
This paper investigates using prosodic information in the form of ToBI break indexes for parsing spontaneous speech. We revisit two previously studied approaches, one that hurt pa...
Zhongqiang Huang, Mary P. Harper