2701 search results - page 96 / 541 » On the form of witness terms |
126
click to vote
JSYML
2002
15 years 6 months ago
2002
: There is an axiomatic treatment of Morley rank in groups, due to Borovik and Poizat. These axioms form the basis of the algebraic treatment of groups of finite Morley rank which ...
157
click to vote
CAP
2010
15 years 1 months ago
2010
The nth cyclotomic polynomial, n(z), is the monic polynomial whose (n) distinct roots are the nth primitive roots of unity. n(z) can be computed efficiently as a quotient of terms...
147
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We define a logical framework with singleton types and one universe of small types. We give the semantics using a PER model; it is used for constructing a normalisation-by-evaluat...
141
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We configure the multiple node interference (MNI) on OFDMA mesh networks and analyze the feature of this MNI as a closed form in terms of timing misalignment between multiple nod...
134
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
We address the problem of identifying the domain of online databases. More precisely, given a set F of Web forms automatically gathered by a focused crawler and an online database...