Sciweavers

153 search results - page 11 / 31
» Bridging the Gap Between Theory and Practice
Sort
View
MJ
2006
71views more  MJ 2006»
14 years 9 months ago
Reliability analysis of the fine pitch connection using anisotropic conductive film (ACF)
A novel method (the V-shaped curve) is presented to predict the failure probability of anisotropic conductive film (ACF) in IC/substrate assemblies. The Poisson function is used t...
Chao-Ming Lin, Win-Jin Chang, Te-Hua Fang
PODC
2011
ACM
14 years 14 days ago
A theory of goal-oriented communication
We put forward a general theory of goal-oriented communication, where communication is not an end in itself, but rather a means to achieving some goals of the communicating partie...
Oded Goldreich, Brendan Juba, Madhu Sudan
SYNTHESE
2008
84views more  SYNTHESE 2008»
14 years 9 months ago
How experimental algorithmics can benefit from Mayo's extensions to Neyman-Pearson theory of testing
Although theoretical results for several algorithms in many application domains were presented during the last decades, not all algorithms can be analyzed fully theoretically. Exp...
Thomas Bartz-Beielstein
ESWS
2010
Springer
14 years 8 months ago
The Semantic Gap of Formalized Meaning
Recent work in Ontology learning and Text mining has mainly focused on engineering methods to solve practical problem. In this thesis, we investigate methods that can substantially...
Sebastian Hellmann
VSTTE
2005
Springer
15 years 3 months ago
Linking the Meaning of Programs to What the Compiler Can Verify
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
Egon Börger