Sciweavers

2706 search results - page 312 / 542
» The case for a new business model
Sort
View
CSDA
2006
95views more  CSDA 2006»
15 years 6 months ago
Identifying influential multinomial observations by perturbation
The assessment of the influence of individual observations on the outcome of the analysis by perturbation has received a lot of attention for situations in which the observations ...
S. O. Nyangoma, W.-K. Fung, R. C. Jansen
JMLR
2010
118views more  JMLR 2010»
15 years 1 months ago
Exploiting Within-Clique Factorizations in Junction-Tree Algorithms
It is probably fair to say that exact inference in graphical models is considered a solved problem, at least regarding its computational complexity: it is exponential in the treew...
Julian John McAuley, Tibério S. Caetano
TAP
2008
Springer
102views Hardware» more  TAP 2008»
15 years 6 months ago
A Logic-Based Approach to Combinatorial Testing with Constraints
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...
Andrea Calvagna, Angelo Gargantini
GG
2010
Springer
15 years 7 months ago
Local Confluence for Rules with Nested Application Conditions
Abstract. Local confluence is an important property in many rewriting and transformation systems. The notion of critical pairs is central for being able to verify local confluence ...
Hartmut Ehrig, Annegret Habel, Leen Lambers, Ferna...
JSYML
2008
72views more  JSYML 2008»
15 years 6 months ago
Perfect trees and elementary embeddings
An important technique in large cardinal set theory is that of extending an elementary embedding j : M N between inner models to an elementary embedding j : M[G] N[G] between ge...
Sy-David Friedman, Katherine Thompson