Sciweavers

6598 search results - page 276 / 1320
» Graph Theory with Applications
Sort
View
AML
2010
99views more  AML 2010»
15 years 6 months ago
Effectively inseparable Boolean algebras in lattices of sentences
We show the non-arithmeticity of 1st order theories of lattices of n sentences modulo provable equivalence in a formal theory, of diagonalizable algebras of a wider class of arithm...
V. Yu. Shavrukov
TSP
2008
121views more  TSP 2008»
15 years 6 months ago
Stochastic Analysis of the LMS Algorithm for System Identification With Subspace Inputs
This paper studies the behavior of the low-rank least mean squares (LMS) adaptive algorithm for the general case in which the input transformation may not capture the exact input s...
Neil J. Bershad, José Carlos M. Bermudez, J...
IV
2007
IEEE
148views Visualization» more  IV 2007»
16 years 26 days ago
Domain Maps: Purposes, History, Parallels with Cartography, and Applications
This paper discusses the history of domain maps in the context of similar developments in the field of cartography. Drawing from its underlying definitions, this paper identifies ...
Peter A. Hook
OWLED
2008
15 years 8 months ago
Representing Product Designs Using a Description Graph Extension to OWL 2
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...
Henson Graves
CVPR
2005
IEEE
16 years 8 months ago
Graph Embedding: A General Framework for Dimensionality Reduction
In the last decades, a large family of algorithms supervised or unsupervised; stemming from statistic or geometry theory have been proposed to provide different solutions to the p...
Shuicheng Yan, Dong Xu, Benyu Zhang, HongJiang Zha...