8723 search results - page 132 / 1745 » A New Analysis of Co-Training |
170
click to vote
TAMODIA
2004
15 years 7 months ago
2004
This paper takes a pragmatic approach to the design of a task analysis support tool. Instead of proposing a new approach to analysis, it looks at the common requirements for provi...
177
click to vote
PPDP
2007
Springer
16 years 19 days ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
142
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
We propose a new color de-quantizing method for paletted images based on maximizing the sparseness of the overcomplete wavelet analysis of the estimation within the consistency se...
178
click to vote
SAS
1997
Springer
15 years 10 months ago
1997
Springer
We present a type-based flow analysis for simply typed lambda calculus with booleans, data-structures and recursion. The analysis is exact in the following sense: if the analysis ...
170
click to vote
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we present a new model for the requirements analysis of a system. We offer a conceptual model defined following a visual modeling language, called dependence networks...