933 search results - page 50 / 187 » A Fully Automatic hp-Adaptivity |
96
Voted
ASM
2008
ASM
15 years 2 months ago
2008
ASM
This paper describes the formal modeling and analysis of a design for a flash-based filesystem in Alloy. We model the basic operations of a filesystem as well as features that are ...
106
Voted
DSVIS
2008
Springer
15 years 2 months ago
2008
Springer
This paper presents an approach for representing, and providing computer support for, the configuration of interactive systems, particularly ubiquitous systems, that offers a flexi...
93
Voted
BILDMED
2008
15 years 2 months ago
2008
Abstract. We present an image analysis approach as part of a highthroughput microscopy screening system based on cell arrays for the identification of genes involved in Hepatitis C...
99
Voted
EDM
2010
15 years 2 months ago
2010
Current peer-review software lacks intelligence for responding to students' reviewing performance. As an example of an additional intelligent assessment component to such soft...
118
Voted
COLING
2008
15 years 2 months ago
2008
In this paper, an extension of a dimensionality reduction algorithm called NONNEGATIVE MATRIX FACTORIZATION is presented that combines both `bag of words' data and syntactic ...