Sciweavers

7103 search results - page 605 / 1421
» Program Generation and Components
Sort
View
ECSQARU
1995
Springer
15 years 10 months ago
Parametric Structure of Probabilities in Bayesian Networks
The paper presents a method for uncertainty propagation in Bayesian networks in symbolic, as opposed to numeric, form. The algebraic structure of probabilities is characterized. Th...
Enrique Castillo, José Manuel Gutiér...
ICDAR
1995
IEEE
15 years 10 months ago
A Hough based algorithm for extracting text lines in handwritten documents
The method herein proposed detects text lines on handwritten pages which may include either lines oriented in several directions, erasures, or annotationsbetween main lines. The m...
Laurence Likforman-Sulem, Anahid Hanimyan, Claudie...
ASPDAC
2005
ACM
101views Hardware» more  ASPDAC 2005»
15 years 8 months ago
A clustering technique to optimize hardware/software synchronization
— In this paper we present a scheme for reducing the amount of synchronization overhead needed between components, after HW/SW partitioning, to preserve the original control flo...
Junyu Peng, Samar Abdi, Daniel Gajski
FORTEST
2008
15 years 8 months ago
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
Margus Veanes, Colin Campbell, Wolfgang Grieskamp,...
NIPS
2008
15 years 8 months ago
Sparse probabilistic projections
We present a generative model for performing sparse probabilistic projections, which includes sparse principal component analysis and sparse canonical correlation analysis as spec...
Cédric Archambeau, Francis Bach