2225 search results - page 149 / 445 » Logical Structures in the Lexicon |
224
click to vote
VVEIS
2007
15 years 7 months ago
2007
Logic programming has been successfully used for reasoning about various kinds of models. However, in the area of business-process modeling it has not yet gained the attention it d...
178
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
146
click to vote
APIN
2010
15 years 6 months ago
2010
Artificial neural networks can be trained to perform excellently in many application areas. While they can learn from raw data to solve sophisticated recognition and analysis prob...
166
click to vote
ML
2008
ACM
15 years 6 months ago
2008
ACM
Abstract. Recently, there has been an increasing interest in directed probabilistic logical models and a variety of languages for describing such models has been proposed. Although...
184
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
Craig Interpolation is a state-of-the-art technique for logic synthesis and verification, based on Boolean Satisfiability (SAT). Leveraging the efficacy of SAT algorithms, Craig In...