2723 search results - page 230 / 545 » Learning lexicographic orders |
169
click to vote
COCOON
1995
Springer
15 years 10 months ago
1995
Springer
A Craig interpolant of two inconsistent theories is a formula which is true in one and false in the other. This paper gives an eificient method for constructing a Craig interpolant...
165
click to vote
ECTEL
2008
Springer
15 years 8 months ago
2008
Springer
Interaction analysis can provide information directly to learners and teachers in order to assess and self-regulate their ongoing activity. Omega+ is a generic CSCL system that use...
145
click to vote
EDUTAINMENT
2008
Springer
15 years 8 months ago
2008
Springer
In order to reduce both the psychological and physical stress in air travel, sensors are integrated in airplane seats to detect the gestures as input for in-flight entertainment sy...
191
click to vote
AAAI
2006
15 years 8 months ago
2006
In this paper, we motivate the need for and challenges involved in supporting imprecise queries over Web databases. Then we briefly explain our solution, AIMQ - a domain independe...
142
click to vote
CRIWG
2003
15 years 8 months ago
2003
The members of a work group need to apply a common strategy to collaboratively solve a problem. A good strategy will mainly depend on the collaboration scenario, participants’ ba...