9521 search results - page 73 / 1905 » Compiling with continuations, continued |
104
click to vote
DLOG
2009
14 years 7 months ago
2009
In the current paper we study the reasoning problem for fuzzy SI (f-SI) under arbitrary continuous fuzzy operators. Our work can be seen as an extension of previous works that stud...
EUSFLAT
2009
14 years 7 months ago
2009
The approach of continuous evaluation is an important tool in the learning process. However, only recently it was applied in training based on virtual reality. This paper presents ...
JSYML
2010
14 years 4 months ago
2010
We develop several aspects of local and global stability in continuous first order logic. In particular, we study type-definable groups and genericity.
JAIR
2012
13 years 12 days ago
2012
In this paper we describe COLIN, a forward-chaining heuristic search planner, capable of reasoning with COntinuous LINear numeric change, in addition to the full temporal semantic...
ICIP
1994
IEEE
15 years 11 months ago
1994
IEEE
This paper presents a joint strategy for parameter estimation of Markov Random Field (MRF) model and image restoration. The proposed scheme is an unsupervised one in the sense tha...