7928 search results - page 1190 / 1586 » Human-Like Learning Methods for a |
182
click to vote
HVC
2005
Springer
16 years 12 days ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
163
click to vote
ILP
2005
Springer
16 years 11 days ago
2005
Springer
We introduce a novel method for relational learning with neural networks. The contributions of this paper are threefold. First, we introduce the concept of relational neural networ...
187
click to vote
SCIA
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. This paper deals, for the first time, with an analysis of localization capabilities of weakly supervised categorization systems. Most existing categorization approaches ...
138
click to vote
TCC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We initiate a theoretical study of the census problem. Informally, in a census individual respondents give private information to a trusted party (the census bureau), who...
180
click to vote
WEBI
2005
Springer
16 years 10 days ago
2005
Springer
Structured link vector model (SLVM) is a recently proposed document representation that takes into account both structural and semantic information for measuring XML document simi...