1128 search results - page 131 / 226 » Classical Natural Deduction |
ASIAN
2005
Springer
15 years 6 months ago
2005
Springer
The concurrent growth of on-line communities exhibiting large-scale social structure, and of large decentralized peer-to-peer file-sharing systems, has stimulated new interest in...
106
click to vote
CICLING
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we describe systems for automatic labeling of time expressions occurring in English and Chinese text as specified in the ACE Temporal Expression Recognition and Nor...
106
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri ...
IBPRIA
2005
Springer
15 years 6 months ago
2005
Springer
A natural way to deal with training samples in imbalanced class problems is to prune them removing redundant patterns, easy to classify and probably over represented, and label noi...
98
Voted
CSE
2009
IEEE
15 years 5 months ago
2009
IEEE
—Games built on Online Social Networks (OSNs) have become a phenomenon since 3rd party developer tools were exposed by OSNs such as Facebook. However, apart from their explosive ...