Sciweavers

3639 search results - page 174 / 728
» Provenance as Dependency Analysis
Sort
View
CORR
2010
Springer
130views Education» more  CORR 2010»
15 years 7 months ago
Phase Transitions for Greedy Sparse Approximation Algorithms
A major enterprise in compressed sensing and sparse approximation is the design and analysis of computationally tractable algorithms for recovering sparse, exact or approximate, s...
Jeffrey D. Blanchard, Coralia Cartis, Jared Tanner...
JSYML
2000
103views more  JSYML 2000»
15 years 6 months ago
A Model Complete Theory of Valued D-Fields
The notion of a D-ring, generalizing that of a differential or a difference ring, is introduced. Quantifier elimination and a version of the AxKochen-Ershov principle is proven for...
Thomas Scanlon
ACII
2007
Springer
16 years 1 months ago
Investigating Human Tutor Responses to Student Uncertainty for Adaptive System Development
We use a χ2 analysis on our spoken dialogue tutoring corpus to investigate dependencies between uncertain student answers and 9 dialogue acts the human tutor uses in his response ...
Katherine Forbes-Riley, Diane J. Litman
QSIC
2006
IEEE
16 years 1 months ago
Static Slicing for Pervasive Programs
Pervasive programs should be context-aware, which means that program functions should react according to changing environmental conditions. Slicing, as an important class of code ...
Heng Lu, W. K. Chan, T. H. Tse
ANTSW
2006
Springer
15 years 10 months ago
On the Invariance of Ant System
It is often believed that the performance of ant system, and in general of ant colony optimization algorithms, depends somehow on the scale of the problem instance at hand. The iss...
Mauro Birattari, Paola Pellegrini, Marco Dorigo