9730 search results - page 249 / 1946 » Relating models of backtracking |
134
click to vote
FOSSACS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Among the branching-time temporal logics used for the specification and verification of systems, CTL+ , FCTL and ECTL+ are the most notable logics for which the precise...
158
click to vote
AMR
2006
Springer
15 years 8 months ago
2006
Springer
This work presents a discriminative model for the retrieval of pictures from text queries. The core idea of this approach is to minimize a loss directly related to the retrieval pe...
118
click to vote
SPRINGSIM
2007
15 years 5 months ago
2007
Modeling and simulation tools have been used for helping in the early stages of hardware/software systems design. The DEVS formalism is a technique that enables hierarchical descr...
115
click to vote
ADAC
2007
15 years 4 months ago
2007
In this paper, we discuss generalized mixture models and related semi-supervised learning methods, and show how they can be used to provide explicit methods for unknown class infer...
217
Voted
LPNMR
2011
Springer
14 years 7 months ago
2011
Springer
We present an approach to integrating rules and ontologies on the basis of the first-order stable model semantics defined by Ferraris, Lee and Lifschitz. We show that a few exist...