Sciweavers

2351 search results - page 119 / 471
» A Method of Requirement Inconsistency Analysis
Sort
View
ICC
2008
IEEE
165views Communications» more  ICC 2008»
16 years 1 months ago
Analysis of Symbol Error Rates for Signal Space Diversity in Rayleigh Fading Channels
— A signal space diversity (SSD) scheme is one of techniques to achieve diversity gain in fading channels. This method consists of two key operations: constellation rotation and ...
Jihoon Kim, Inkyu Lee
TACAS
1999
Springer
88views Algorithms» more  TACAS 1999»
15 years 11 months ago
A Theorem Prover-Based Analysis Tool for Object-Oriented Databases
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
David Spelt, Susan Even
ICRA
1994
IEEE
102views Robotics» more  ICRA 1994»
15 years 11 months ago
Sensor-Based Planning and Nonsmooth Analysis
This paper describes some initial steps towards sensor based path planning in an unknown static environment. The method is a based on a sensor-based incremental construction of a o...
Howie Choset, Joel W. Burdick
JBI
2006
107views Bioinformatics» more  JBI 2006»
15 years 6 months ago
Knowledge guided analysis of microarray data
To microarray expression data analysis, it is well accepted that biological knowledge-guided clustering techniques show more advantages than pure mathematical techniques. In this ...
Zhuo Fang, Jiong Yang, Yixue Li, Qing-ming Luo, Le...
IJAOSE
2010
126views more  IJAOSE 2010»
15 years 4 months ago
Automated analysis of compositional multi-agent systems
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
Alexei Sharpanskykh, Jan Treur