1446 search results - page 106 / 290 » Exploring Knowledge Bases for Similarity |
146
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
156
click to vote
ESWS
2009
Springer
15 years 1 months ago
2009
Springer
Concept Search extends syntactic search, i.e., search based on the computation of string similarity between words, with semantic search, i.e., search based on the computation of s...
178
click to vote
KES
2010
Springer
15 years 1 months ago
2010
Springer
Exploratory Learning Environments (ELEs) allow learners to approach a problem in different ways; they are particularly suitable for ill-defined problems where knowledge is less str...
136
click to vote
AI
2008
Springer
15 years 4 months ago
2008
Springer
Abduction is a fundamental form of nonmonotonic reasoning that aims at finding explanations for observed manifestations. This process underlies many applications, from car configu...
155
click to vote
UM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Since problem solving in group problem-based learning is a collaborative process, modeling individuals and the group is necessary if we wish to develop an intelligent tut...