Sciweavers

2632 search results - page 311 / 527
» On the degree of MIMO systems
Sort
View
PKDD
2005
Springer
96views Data Mining» more  PKDD 2005»
16 years 20 hour ago
Testing Theories in Particle Physics Using Maximum Likelihood and Adaptive Bin Allocation
We describe a methodology to assist scientists in quantifying the degree of evidence in favor of a new proposed theory compared to a standard baseline theory. The figure of merit ...
Bruce Knuteson, Ricardo Vilalta
SAS
2005
Springer
132views Formal Methods» more  SAS 2005»
16 years 17 hour ago
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
Roberto Bagnara, Enric Rodríguez-Carbonell,...
SSS
2005
Springer
16 years 14 hour ago
A Snap-Stabilizing DFS with a Lower Space Requirement
Abstract. A snap-stabilizing protocol, starting from any arbitrary initial configuration, always behaves according to its specification. In [4], we presented the first snap-stab...
Alain Cournier, Stéphane Devismes, Vincent ...
PADS
2004
ACM
15 years 12 months ago
Formalization and Strictness of Simulation Event Orderings
This paper advocates the use of a formal framework for analyzing simulation performance. Simulation performance is characterized based on the three simulation development process ...
Yong Meng Teo, Bhakti S. S. Onggo
ATAL
2004
Springer
15 years 12 months ago
Trust-Based Mechanism Design
We define trust-based mechanism design as an augmentation of traditional mechanism design in which agents take into account the degree of trust that they have in their counterpar...
Rajdeep K. Dash, Sarvapali D. Ramchurn, Nicholas R...