448 search results - page 58 / 90 » A Meta-Method for Formal Method Integration |
110
click to vote
DAC
2004
ACM
16 years 4 months ago
2004
ACM
Platforms have become an important concept in the design of electronic systems. We present here the motivations behind the interest shown and the challenges that we have to face t...
146
click to vote
ICML
1996
IEEE
16 years 4 months ago
1996
IEEE
We introduce a method for learning Bayesian networks that handles the discretization of continuous variables as an integral part of the learning process. The main ingredient in th...
ECBS
2005
IEEE
15 years 8 months ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
126
click to vote
EMNLP
2008
15 years 4 months ago
2008
We present a discriminative, latent variable approach to syntactic parsing in which rules exist at multiple scales of refinement. The model is formally a latent variable CRF gramm...
125
click to vote
IMAMS
2007
15 years 4 months ago
2007
We present a shape deformation approach which preserves volume, prevents self-intersections and allows for exact control of the deformation impact. The volume preservation and prev...