Sciweavers

819 search results - page 58 / 164
» Fractal symbolic analysis
Sort
View
RC
2002
72views more  RC 2002»
13 years 8 months ago
Symbolic Preconditioning with Taylor Models: Some Examples
Deterministic global optimization with interval analysis involves - using interval enclosures for ranges of the constraints, objective, and gradient to reject infeasible regions, r...
R. Baker Kearfott, G. William Walster
CORR
2007
Springer
67views Education» more  CORR 2007»
13 years 8 months ago
Interroger un corpus par le sens
In textual knowledge management, statistical methods prevail. Nonetheless, some difficulties cannot be overcome by these methodologies. I propose a symbolic approach using a comp...
Bernard Jacquemin
ICASSP
2009
IEEE
14 years 3 months ago
High-rate distributed multi-source cooperation using complex field coding
A multisource cooperative protocol is developed capable of achieving diversity order up to the number of cooperating users at a high throughput. In this design each source jointly...
Alfonso Cano Pleite, Jesús Gómez-Vil...
VTC
2008
IEEE
14 years 3 months ago
An Analytical Approach to V-BLAST Detection with Optimal Ordering for Two Input Multiple Output Systems
In this paper, an analytical approach to performance analysis of vertical Bell laboratories layered space time (V-BLAST) detection with optimal ordering for systems with two transm...
Wei Peng, Shaodan Ma, Tung-Sang Ng, Jiangzhou Wang...
CC
2002
Springer
107views System Software» more  CC 2002»
13 years 8 months ago
Modular Static Program Analysis
The purpose of this paper is to present four basic methods for ional separate modular static analysis of programs by abstract interpretation: simpli cation-based separate analysis;...
Patrick Cousot, Radhia Cousot