5414 search results - page 975 / 1083 » Exploratory Model Building |
134
click to vote
ESOP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
106
click to vote
SOCRATES
2008
15 years 3 months ago
2008
The purpose of this paper is to build a picture of knowledge construction models in online education. The study describes the knowledge construction process of a group of vocation...
129
click to vote
FLAIRS
2003
15 years 3 months ago
2003
Successful knowledge management may depend not only on knowledge capture, but on knowledge construction—on formulating new and useful knowledge that was not previously available...
127
Voted
AIPS
2009
15 years 3 months ago
2009
Despite the extensive development of first-principles planning in recent years, planning applications are still primarily developed using knowledge-based planners which can exploi...
125
Voted
CIDR
2009
15 years 3 months ago
2009
Recent research in domain-independent information extraction holds the promise of an automatically-constructed structured database derived from the Web. A query system based on th...