Sciweavers

7690 search results - page 1518 / 1538
» On the semantics of informational independence
Sort
View
DIS
2005
Springer
14 years 29 days ago
Support Vector Inductive Logic Programming
Abstract. In this paper we explore a topic which is at the intersection of two areas of Machine Learning: namely Support Vector Machines (SVMs) and Inductive Logic Programming (ILP...
Stephen Muggleton, Huma Lodhi, Ata Amini, Michael ...
ICLP
2005
Springer
14 years 28 days ago
Modeling Systems in CLP
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
LOPSTR
2005
Springer
14 years 27 days ago
Declarative Programming with Function Patterns
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
Sergio Antoy, Michael Hanus
ITICSE
2004
ACM
14 years 25 days ago
Evaluating the effectiveness of ICT to support globally distributed PBL teams
In the 21st century it is becoming increasingly common to work and learn in teams that are globally distributed. Such teams rely heavily on ICT to facilitate communication. There ...
Chew Swee Cheng, Chris Beaumont
NORDICHI
2004
ACM
14 years 25 days ago
Adaptivity in speech-based multilingual e-mail client
In speech interfaces users must be aware what can be done with the system – in other words, the system must provide information to help the users to know what to say. We have ad...
Esa-Pekka Salonen, Mikko Hartikainen, Markku Turun...
« Prev « First page 1518 / 1538 Last » Next »