1128 search results - page 98 / 226 » Classical Natural Deduction |
129
Voted
IUI
2009
ACM
16 years 17 days ago
2009
ACM
We present a game-based interface for acquiring common sense knowledge. In addition to being interactive and entertaining, our interface guides the knowledge acquisition process t...
126
Voted
STACS
2010
Springer
15 years 10 months ago
2010
Springer
In this paper we consider the problem of testing whether two finite groups are isomorphic. Whereas the case where both groups are abelian is well understood and can be solved effi...
120
Voted
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
This article addresses a question regarding relevant information in a social media such as a wiki that can contain huge amount of text, written in slang or in natural language, wi...
114
Voted
PKDD
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Partially ordered feature sets appear naturally in many classification settings with structured input instances, for example, when the data instances are graphs and a fe...
137
Voted
ACISICIS
2007
IEEE
15 years 10 months ago
2007
IEEE
We present here some applications of the Minimum Message Length (MML) principle to spatially correlated data. Discrete valued Markov Random Fields are used to model spatial correl...