8917 search results - page 1485 / 1784 » Abstraction in Algorithm Animation |
131
click to vote
SAT
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a new generic problem solving approach for overconstrained problems based on Max-SAT. We first define a clausal form formalism that deals with blocks of clau...
158
click to vote
SCALESPACE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, we propose an evolution equation for the active contours in scale spaces. This evolution equation is based on the Polyakov functional that has been first ...
136
click to vote
SEMWEB
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Swoogle helps software agents and knowledge engineers find Semantic Web knowledge encoded in RDF and OWL documents on the Web. Navigating such a Semantic Web on the Web ...
141
click to vote
CEEMAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The student modeling (SM) is a core component in the development of Intelligent Learning Environments (ILEs). In this paper we describe how a Multi-agent Intelligent Lear...
131
click to vote
ECML
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Rule induction has attracted a great deal of attention in Machine Learning and Data Mining. However, generating rules is not an end in itself because their applicability ...