Sciweavers

23630 search results - page 172 / 4726
» Common Information Model
Sort
View
SODA
2001
ACM
79views Algorithms» more  SODA 2001»
15 years 5 months ago
Learning Markov networks: maximum bounded tree-width graphs
Markov networks are a common class of graphical models used in machine learning. Such models use an undirected graph to capture dependency information among random variables in a ...
David R. Karger, Nathan Srebro
UAI
1997
15 years 5 months ago
Object-Oriented Bayesian Networks
Bayesian networks provide a modeling language and associated inference algorithm for stochastic domains. They have been successfully applied in a variety of medium-scale applicati...
Daphne Koller, Avi Pfeffer
SAC
2008
ACM
15 years 3 months ago
Test generation and minimization with "basic" statecharts
Model-based testing as a black-box testing technique has grown in importance. The models used represent the relevant features of the system under consideration (SUC), and can also...
Fevzi Belli, Axel Hollmann
TACAS
2005
Springer
113views Algorithms» more  TACAS 2005»
15 years 10 months ago
Applications of Craig Interpolants in Model Checking
Abstract. A Craig interpolant for a mutually inconsistent pair of formulas (A, B) is a formula that is (1) implied by A, (2) inconsistent with B, and (3) expressed over the common ...
Kenneth L. McMillan
SAINT
2008
IEEE
15 years 11 months ago
From Internet Information Searching to Information Summarizing
The paper describes an incremental advance in search engine from Internet information searching to information summarizing service. This incremental innovation requires only exist...
Yu-Hui Tao