95 search results - page 14 / 19 » Automatic Creation of Domain Templates |
103
Voted
TCSV
2008
14 years 9 months ago
2008
Wedding is one of the most important ceremonies in our lives. It symbolizes the birth and creation of a new family. In this paper, we present a system for automatically segmenting ...
VMCAI
2007
Springer
15 years 3 months ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
SE
2010
14 years 11 months ago
2010
Abstract: Recommender systems have become increasingly popular. Most of the research on recommender systems has focused on recommendation algorithms. There has been relatively litt...
104
click to vote
ICMLA
2010
14 years 7 months ago
2010
Markov Logic Networks (MLNs) combine Markov Networks and first-order logic by attaching weights to firstorder formulas and viewing them as templates for features of Markov Networks...