Sciweavers

7168 search results - page 802 / 1434
» A Factorization Approach to Grouping
Sort
View
UM
2001
Springer
15 years 12 months ago
Investigating Students' Self-Assessment Skills
: Student modeling approaches predominantly focus on modeling student knowledge. For effective learning, however, it is necessary to teach students how to learn, as well as to prov...
Antonija Mitrovic
ISSRE
2000
IEEE
15 years 12 months ago
Assessing the Cost-Effectiveness of Inspections by Combining Project Data and Expert Opinion
There is a general agreement among software engineering practitioners that software inspections are an important technique to achieve high software quality at a reasonable cost. H...
Lionel C. Briand, Bernd G. Freimut, Ferdinand Voll...
IWSSD
2000
IEEE
15 years 12 months ago
Model Checking Implicit-Invocation Systems
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...
David Garlan, Serge Khersonsky
DAC
2000
ACM
15 years 12 months ago
An asymptotically constant, linearly bounded methodology for the statistical simulation of analog circuits including component m
Abstract: This paper presents a new statistical methodology to simulate the effect of both inter-die and intra-die variation on the electrical performance of analog integrated circ...
Carlo Guardiani, Sharad Saxena, Patrick McNamara, ...
ASIACRYPT
2000
Springer
15 years 12 months ago
Key Improvements to XTR
Abstract. This paper describes improved methods for XTR key representation and parameter generation (cf. [4]). If the field characteristic is properly chosen, the size of the XTR ...
Arjen K. Lenstra, Eric R. Verheul