Sciweavers

1213 search results - page 70 / 243
» Traceability for System Families
Sort
View
GD
2007
Springer
15 years 6 months ago
Visualizing Internet Evolution on the Autonomous Systems Level
We propose a visualization approach for large dynamic graph structures with high degree variation and low diameter. In particular, we reduce visual complexity by multiple modes of ...
Krists Boitmanis, Ulrik Brandes, Christian Pich
TCOM
2008
89views more  TCOM 2008»
14 years 11 months ago
Construction of block orthogonal golay sequences and application to channel estimation of mimo-ofdm systems
In this paper, we construct a family of block orthogonal Golay sequences that have low peak-to-mean envelope power ratio (PMEPR) as well as blockwise orthogonal properties. We then...
Oh-Soon Shin, H. T. Kung, Vahid Tarokh
ML
2000
ACM
149views Machine Learning» more  ML 2000»
14 years 11 months ago
BoosTexter: A Boosting-based System for Text Categorization
This work focuses on algorithms which learn from examples to perform multiclass text and speech categorization tasks. Our approach is based on a new and improved family of boosting...
Robert E. Schapire, Yoram Singer
KSEM
2007
Springer
15 years 6 months ago
A Diagrammatic Reasoning System for ALC
Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...
Frithjof Dau, Peter W. Eklund
CADE
1998
Springer
15 years 4 months ago
System Description: CRIL Platform for SAT
The CRIL multi-strategy platform for SAT includes a whole family of local search techniques and some of the best Davis and Putnam strategies for checking propositional satis abilit...
Bertrand Mazure, Lakhdar Sais, Éric Gr&eacu...