Sciweavers

3475 search results - page 326 / 695
» A DEA approach for model combination
Sort
View
ECTEL
2007
Springer
16 years 29 days ago
Pedagogical Validation of Courseware
Creating courses by combining Learning Objects (LOs) sourced from third parties, known as courseware, is becoming more popular of late. Although courseware has advantages over tra...
Mark Melia, Claus Pahl
GBRPR
2005
Springer
16 years 10 days ago
Graphical Knowledge Management in Graphics Recognition Systems
Abstract. This paper deals with the problem of graphical knowledge management (formalization, modelling, representation and operationalization) in graphics recognition systems. We ...
Mathieu Delalandre, Éric Trupin, Jacques La...
UML
2005
Springer
16 years 8 days ago
Composing Domain-Specific Languages for Wide-Scope Software Engineering Applications
Abstract. Domain-Specific Languages (DSL) offer many advantages over general languages, but their narrow scope makes them really effective only in very focused domains, for example...
Jacky Estublier, Germán Vega, Anca Daniela ...
DATE
2006
IEEE
97views Hardware» more  DATE 2006»
15 years 10 months ago
Monolithic verification of deep pipelines with collapsed flushing
We introduce collapsed flushing, a new flushing-based refinement map for automatically verifying safety and liveness properties of term-level pipelined machine models. We also pre...
Roma Kane, Panagiotis Manolios, Sudarshan K. Srini...
EMNLP
2007
15 years 8 months ago
Recovery of Empty Nodes in Parse Structures
In this paper, we describe a new algorithm for recovering WH-trace empty nodes. Our approach combines a set of hand-written patterns together with a probabilistic model. Because t...
Denis Filimonov, Mary P. Harper