Sciweavers

201 search results - page 15 / 41
» Declaring Numbers
Sort
View
ILP
2007
Springer
14 years 4 months ago
Learning with Kernels and Logical Representations
In this chapter, we describe a view of statistical learning in the inductive logic programming setting based on kernel methods. The relational representation of data and background...
Paolo Frasconi
SEMWEB
2007
Springer
14 years 4 months ago
Ontology Merging using Answer Set Programming and Linguistic Knowledge
With the increasing number of ontologies available on the web, the problem of merging ontologies from different sources to interoperate applications becomes important. This paper ...
Jürgen Bock, Rodney W. Topor, Raphael Volz
AICCSA
2006
IEEE
95views Hardware» more  AICCSA 2006»
14 years 3 months ago
DEPICT: A High-Level Formal Language For Modeling Constraint Satisfaction Problems
: The past decade witnessed rapid development of constraint satisfaction technologies, where algorithms are now able to cope with larger and harder problems. However, owing to the ...
Abdulwahed M. Abbas, Edward P. K. Tsang, Ahmad H. ...
HASKELL
2006
ACM
14 years 3 months ago
RepLib: a library for derivable type classes
Some type class instances can be automatically derived from the structure of types. As a result, the Haskell language includes the “deriving” mechanism to automatic generates ...
Stephanie Weirich
IWPC
2005
IEEE
14 years 3 months ago
An Empirical Study of the Use of Friends in C++ Software
A commonly held belief is that the friend construct in C++ is a violation of encapsulation. However, little empirical analysis of its use has taken place to provide evidence to su...
Michael English, Jim Buckley, Tony Cahill, Kristia...