2450 search results - page 153 / 490 » On Application of Structural Decomposition for Process Model... |
136
click to vote
WS
2010
ACM
15 years 2 months ago
2010
ACM
The SLIF project combines text-mining and image processing to extract structured information from biomedical literature. SLIF extracts images and their captions from published pap...
134
click to vote
ICDM
2010
IEEE
15 years 2 months ago
2010
IEEE
In this paper, we study probabilistic modeling of heterogeneously attributed multi-dimensional arrays. The model can manage the heterogeneity by employing an individual exponential...
152
click to vote
FMICS
2008
Springer
15 years 6 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
127
click to vote
ISSE
2010
15 years 2 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
140
click to vote
NIPS
1998
15 years 5 months ago
1998
We introduce a novel framework for simultaneous structure and parameter learning in hidden-variable conditional probability models, based on an entropic prior and a solution for i...