3333 search results - page 156 / 667 » Abstract Proof Search |
118
click to vote
TSD
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper describes the design of the first large-scale IR test collection built for the Czech language. The creation of this collection also happens to be very challen...
144
click to vote
AIIA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we present a mixed-initiative planning approach to humanrobot interaction in a rescue domain. We deploy a model-based executive monitoring system to coordin...
161
click to vote
COGSYS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The definition, assembly and manipulation of learning objects is becoming more and more popular in learning environments. But despite standardization efforts their approp...
118
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
We present a new conceptual abstraction in symmetry breaking – the GE-tree. The construction and traversal of a GE-tree breaks all symmetries in any constraint satisfaction or si...
KES
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This article proposes a new design method based on a simple heuristic technique to eliminate harmonic in power systems. It is called modified least compensation current c...