2364 search results - page 91 / 473 » An Engine for Computing Well-Founded Models |
117
click to vote
AUSAI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Programmers employing inference in Bayesian networks typically rely on the inclusion of the model as well as an inference engine into their application. Sophisticated inf...
162
Voted
EMSOFT
2011
Springer
14 years 3 months ago
2011
Springer
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
126
click to vote
SIGSOFT
2004
ACM
15 years 9 months ago
2004
ACM
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...
113
Voted
AVI
1998
15 years 5 months ago
1998
Information Foraging (IF) Theory addresses user strategies and technology for seeking, gathering, and using on-line information. We present IF-based models and evaluations of two ...
161
click to vote
AVI
1996
15 years 5 months ago
1996
Visual interfaces to computer systems are interactive. The cycle of visual interaction involves both visual perception and action. This paper examines formal models of interactive...