Sciweavers

2904 search results - page 212 / 581
» Number Forms in the Brain
Sort
View
DCC
2010
IEEE
15 years 7 months ago
The small weight codewords of the functional codes associated to non-singular Hermitian varieties
This article studies the small weight codewords of the functional code CHerm(X), with X a non-singular Hermitian variety of PG(N, q2). The main result of this article is that the ...
Frédéric A. B. Edoukou, Anja Hallez,...
DEBU
2008
123views more  DEBU 2008»
15 years 7 months ago
Pathfinder: XQuery Off the Relational Shelf
The Pathfinder project makes inventive use of relational database technology--originally developed to process data of strictly tabular shape--to construct efficient database-suppo...
Torsten Grust, Jan Rittinger, Jens Teubner
AUTOMATICA
2006
63views more  AUTOMATICA 2006»
15 years 7 months ago
Inference of disjoint linear and nonlinear sub-domains of a nonlinear mapping
This paper investigates new ways of inferring nonlinear dependence from measured data. The existence of unique linear and nonlinear sub-spaces which are structural invariants of g...
Douglas J. Leith, William E. Leithead, Roderick Mu...
GIS
2008
ACM
15 years 7 months ago
Spatially enabling governments through SDI implementation
Spatially enabled government requires the development of effective SDIs that will support the vast majority of society, who are not spatially aware, in a transparent manner. This ...
Ian Masser, Abbas Rajabifard, Ian P. Williamson
CORR
2006
Springer
151views Education» more  CORR 2006»
15 years 7 months ago
Combining decision procedures for the reals
Abstract. We address the general problem of determining the validity of boolean combinations of equalities and inequalities between real-valued expressions. In particular, we consi...
Jeremy Avigad, Harvey Friedman