3384 search results - page 75 / 677 » More Testable Properties |
DATE
2004
IEEE
14 years 15 days ago
2004
IEEE
We propose a new arithmetic reasoning calculus to speed up a SAT solver based on the Davis Putnam Longman Loveland (DPLL) procedure. It is based on an arithmetic bit level descrip...
SCANGIS
2003
13 years 10 months ago
2003
The WGS84 ellipsoid is tessellated using quadrilaterals of roughly the same size. The tessellation scheme is developed for the purpose of storing, distributing and analysing global...
ACL
1997
13 years 10 months ago
1997
As the text databases available to users become larger and more heterogeneous, genre becomes increasingly important for computational linguistics as a complement to topical and st...
ESANN
1997
13 years 10 months ago
1997
Besides their topological properties, Kohonen maps are often used for vector quantization only. These auto-organised networks are often compared to other standard and/or adaptive v...
AAECC
2007
Springer
13 years 9 months ago
2007
Springer
We generalize the notion of cyclic codes by using generator polynomials in (non commutative) skew polynomial rings. Since skew polynomial rings are left and right euclidean, the o...