2909 search results - page 140 / 582 » Consistency of the theory of contexts |
155
click to vote
IWINAC
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we consider networks of evolutionary processors with splicing rules and permitting context (NEPPS) as language generating and computational devices. Such a network c...
175
click to vote
ICWSM
2008
15 years 7 months ago
2008
The research described here is part of a larger project with the objective of determining if a writer believes a proposition to be true or false. This task requires a deep underst...
170
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This article provides a central limit theorem for a consistent estimator of the population eigenvalues of a class of sample covariance matrices. An exact expression as well as an ...
170
click to vote
TSD
2007
Springer
16 years 15 days ago
2007
Springer
This paper describes a clustering method for organizing in semantic classes a list of terms. The experiments were made using a POS annotated corpus, the ACL Anthology, which consis...
170
click to vote
CCS
1998
ACM
15 years 10 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...