3690 search results - page 75 / 738 » Computation with classical sequents |
ICIAP
2003
ACM
15 years 10 months ago
2003
ACM
To be able to enlarge a digital image from a single frame preserving the perceptive cues is a relevant research issue. The best algorithms take into account the presence of edges ...
ICDIM
2007
IEEE
15 years 4 months ago
2007
IEEE
Learning classifiers has been studied extensively the last two decades. Recently, various approaches based on patterns (e.g., association rules) that hold within labeled data hav...
VLSID
2007
IEEE
15 years 4 months ago
2007
IEEE
In recent years, research and development in the field of machine learning and classification techniques have gained paramount importance. The future generation of intelligent e...
101
click to vote
ADMA
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Practical pattern classification and knowledge discovery problems require selecting a useful subset of features from a much larger set to represent the patterns to be cl...
ECSQARU
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...