Sciweavers

9382 search results - page 333 / 1877
» A Functional Model for Data Analysis
Sort
View
TCOM
2010
133views more  TCOM 2010»
15 years 5 months ago
An Exact Performance Analysis of MRC / OSTBC over Generalized Fading Channels
—A unified analytical framework for evaluating the performance of maximal ratio combining (MRC) and orthogonal space-time block coding (OSTBC) over generalized fading channels i...
George A. Ropokis, Athanasios A. Rontogiannis, P. ...
SAS
2009
Springer
212views Formal Methods» more  SAS 2009»
16 years 7 months ago
The Causal Graph Revisited for Directed Model Checking
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
Martin Wehrle, Malte Helmert
SIGGRAPH
1997
ACM
15 years 11 months ago
Guaranteeing the topology of an implicit surface polygonization for interactive modeling
Morse theory shows how the topology of an implicit surface is affected by its function’s critical points, whereas catastrophe theory shows how these critical points behave as th...
Barton T. Stander, John C. Hart
CORR
2011
Springer
192views Education» more  CORR 2011»
15 years 1 months ago
Distribution-Independent Evolvability of Linear Threshold Functions
Valiant’s (2007) model of evolvability models the evolutionary process of acquiring useful functionality as a restricted form of learning from random examples. Linear threshold ...
Vitaly Feldman
CCGRID
2006
IEEE
16 years 25 days ago
Component-Based Modeling, Analysis and Animation
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
Jeff Kramer