2263 search results - page 223 / 453 » The Use of Functional and Logic Languages in Machine Learnin... |
170
click to vote
LATA
2009
Springer
16 years 1 months ago
2009
Springer
Introducing priorities on rules in rewriting increases their expressive power and helps to limit computations. Priority rewriting is used in rule-based programming as well as in f...
180
click to vote
AIIA
2007
Springer
16 years 22 days ago
2007
Springer
In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical language, groun...
159
click to vote
ICWS
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper, we propose a method for automated web service composition by applying Linear Logic (LL) theorem proving. We distinguish value-added web services and core service by ...
164
click to vote
ICALT
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes the design of a metadata model for capturing presentations developed as part of the VACE project (Video and Audio Capturing and Embedding). VACE is a modular,...
148
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
Many biological propositions can be supported by a variety of different types of evidence. It is often useful to collect together large numbers of such propositions, together with...