Sciweavers

4067 search results - page 420 / 814
» Programs for Applying Symmetries
Sort
View
CORR
2010
Springer
58views Education» more  CORR 2010»
15 years 6 months ago
Soundly Handling Static Fields: Issues, Semantics and Analysis
Although in most cases class initialization works as expected, some static fields may be read before being initialized, despite being initialized in their corresponding class init...
Laurent Hubert, David Pichardie
CORR
2010
Springer
143views Education» more  CORR 2010»
15 years 6 months ago
Parallel Sorted Neighborhood Blocking with MapReduce
: Cloud infrastructures enable the efficient parallel execution of data-intensive tasks such as entity resolution on large datasets. We investigate challenges and possible solution...
Lars Kolb, Andreas Thor, Erhard Rahm
CORR
2006
Springer
132views Education» more  CORR 2006»
15 years 6 months ago
A Decomposition Theory for Binary Linear Codes
The decomposition theory of matroids initiated by Paul Seymour in the 1980's has had an enormous impact on research in matroid theory. This theory, when applied to matrices ov...
Navin Kashyap
NECO
2008
83views more  NECO 2008»
15 years 6 months ago
Sequential Fixed-Point ICA Based on Mutual Information Minimization
A new gradient technique is introduced for linear ICA based on the Edgeworth expansion of mutual information, for which the algorithm operates sequentially using fixed-point itera...
Marc M. Van Hulle
TCAD
2008
181views more  TCAD 2008»
15 years 6 months ago
A Survey of Automated Techniques for Formal Software Verification
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
Vijay D'Silva, Daniel Kroening, Georg Weissenbache...