Sciweavers

2052 search results - page 161 / 411
» Direct Combination
Sort
View
AAAI
1998
15 years 5 months ago
Discovering Admissible Simultaneous Equations of Large Scale Systems
SSFisasystemtodiscoverthestructureofsimultaneous equations governing an objective process through experiments. SSF combined with another system SDS to discover a quantitative form...
Takashi Washio, Hiroshi Motoda
166
Voted
UAI
1998
15 years 5 months ago
The Bayesian Structural EM Algorithm
In recent years there has been a flurry of works on learning Bayesian networks from data. One of the hard problems in this area is how to effectively learn the structure of a beli...
Nir Friedman
WSC
1997
15 years 5 months ago
A Conceptual Activity Cycle-Based Simulation Modeling Method
This paper studies activity cycle diagrams (ACD) for modeling construction processes using activities as the basic elements. An ACD is obtained by combining the activity cycles of...
Jingsheng Shi
PSTV
1993
123views Hardware» more  PSTV 1993»
15 years 5 months ago
On the Verification of Temporal Properties
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...
Patrice Godefroid, Gerard J. Holzmann
MVA
1992
124views Computer Vision» more  MVA 1992»
15 years 5 months ago
Separation of Textual and Non-textual Information within Mixed-Mode Documents
An increasing number of comfortable publishing systems nowadays leads to documents containing more than just textual information. Graphics and images are combined with text and of...
Frank Hönes, Rainer Zimmer