9730 search results - page 321 / 1946 » Relating models of backtracking |
151
Voted
JAR
2002
15 years 4 months ago
2002
We formalise natural deduction for first-order logic in the proof assistant Coq, using De Bruijn indices for variable binding. The main judgement we model is of the form d [:] , ...
155
Voted
ENVSOFT
2007
15 years 5 months ago
2007
: Increasingly, models (and modelers) are being asked to address the interactions between human influences, ecological processes, and landscape dynamics that impact many diverse as...
174
click to vote
CSDA
2006
15 years 5 months ago
2006
We explore a periodic analysis in the context of unobserved components time series models that decompose time series into components of interest such as trend, seasonal and irregu...
182
click to vote
BPSC
2009
15 years 6 months ago
2009
Abstract: In this paper we present our ideas to apply constraint satisfaction on business processes. We propose a multi-level constraint satisfaction approach to handle t levels of...
145
click to vote
ICML
2005
IEEE
16 years 5 months ago
2005
IEEE
Many real-world domains exhibit rich relational structure and stochasticity and motivate the development of models that combine predicate logic with probabilities. These models de...