3653 search results - page 365 / 731 » Learning of Partial Languages |
307
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
In this work, we improve on existing work that studied the relationship between the proof system of modern SAT solvers and general resolution. Previous contributions such as those ...
154
click to vote
IFIP
2007
Springer
16 years 28 days ago
2007
Springer
Supervisory control and data acquisition (SCADA) systems are widely used to monitor and control operations in electrical power distribution facilities, oil and gas pipelines, water...
178
click to vote
ICALP
2004
Springer
16 years 4 days ago
2004
Springer
We consider the problem of learning a labeled graph from a given family of graphs on n vertices in a model where the only allowed operation is to query whether a set of vertices i...
195
click to vote
ICIAR
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this paper, several one-class classification methods are investigated in pixel space and PCA (Principal component Analysis) subspace having in mind the need of finding...
195
click to vote
IJCNLP
2004
Springer
16 years 4 days ago
2004
Springer
Multi-document discourse analysis has emerged with the potential of improving various NLP applications. Based on the newly proposed Cross-document Structure Theory (CST), this pap...