1287 search results - page 134 / 258 » Unnatural language detection |
283
click to vote
ACMSE
2007
ACM
15 years 10 months ago
2007
ACM
Classification and change detection of land cover types in the remotely sensed images is one of the major applications in remote sensing. This paper presents a hierarchical framew...
152
click to vote
RTAS
1997
IEEE
15 years 10 months ago
1997
IEEE
A real-time system operates under timing constraints which it may be unable to meet under some circumstances. The criticality of a timing constraint determines how a system is to ...
174
click to vote
CP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
188
click to vote
EON
2003
15 years 7 months ago
2003
Before using RDF(S) and DAML+OIL ontologies in Semantic Web applications, its content should be evaluated from a knowledge representation point of view. In recent years, some RDF(S...
162
click to vote
COGSR
2011
15 years 1 months ago
2011
We present an application of the analytical inductive programming system Igor to learning sets of recursive rules from positive experience. We propose that this approach can be us...