2702 search results - page 175 / 541 » Practically Applicable Formal Methods |
113
click to vote
AAAI
1996
15 years 3 months ago
1996
This article advocates a new model for inductive learning. Called sequential induction, it helps bridge classical fixed-sample learning techniques (which are efficient but difficu...
115
Voted
AUSAI
2010
Springer
15 years 1 months ago
2010
Springer
A general game player is a system that can play previously unknown games given nothing but their rules. A key to success in this endeavour is the ability to automatically gain know...
109
click to vote
PAKDD
2004
ACM
15 years 7 months ago
2004
ACM
This paper proposes a two-step graph partitioning method to discover constrained clusters with an objective function that follows the well-known minmax clustering principle. Compar...
132
click to vote
EON
2008
15 years 3 months ago
2008
One of the arguments for choosing description logics as the basis for the Web Ontology Language is the ability to support the development of complex ontologies through logical reas...
123
click to vote
TIP
2008
15 years 2 months ago
2008
Density estimation for observational data plays an integral role in a broad spectrum of applications, e.g. statistical data analysis and information-theoretic image registration. ...