509 search results - page 2 / 102 » Dynamic Modeling in Inductive Inference |
137
Voted
APPINF
2003
15 years 7 months ago
2003
Induction and abduction are well known non-deductive inferences. We shall propose that design is also another form of non-deductive inference, and, based on Barwise and Seligman...
176
Voted
AIIDE
2006
15 years 7 months ago
2006
Affective reasoning holds great potential for interactive digital entertainment, education, and training. Incorporating affective reasoning into the decision-making capabilities o...
205
Voted
SCESM
2006
ACM
16 years 3 days ago
2006
ACM
Goal orientation is an increasingly recognised Requirements Engineering paradigm. However, integration of goal modelling with operational models remains an open area for which the...
161
Voted
DATE
2007
IEEE
16 years 15 days ago
2007
IEEE
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
151
Voted
CIE
2007
Springer
16 years 10 days ago
2007
Springer
In the standard model of inductive inference, a learner gets as input the graph of a function, and has to discover (in the limit) a program for the function. In this paper, we cons...