Sciweavers

3830 search results - page 404 / 766
» From Reference Model to Component Model
Sort
View
EDM
2010
113views Data Mining» more  EDM 2010»
15 years 8 months ago
Using multiple Dirichlet distributions to improve parameter plausibility
Predictive accuracy and parameter plausibility are two major desired aspects for a student modeling approach. Knowledge tracing, the most commonly used approach, suffers from local...
Yue Gong, Joseph E. Beck, Neil T. Heffernan
SOSYM
2002
66views more  SOSYM 2002»
15 years 6 months ago
Consistent specification of interface suites in UML
Abstract. The paper motivates and describes a model oriented approach for consistent specification of interface suites in UML. An interface suite is a coherent collection of interf...
Ella E. Roubtsova, L. C. M. van Gool, Ruurd Kuiper...
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
14 years 2 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
AOSE
2008
Springer
15 years 8 months ago
Using and Extending the SPEM Specifications to Represent Agent Oriented Methodologies
Situational Method Engineering for constructing ad-hoc agent oriented design process is grounded on a well defined set of phases that are principally based on reuse of components c...
Valeria Seidita, Massimo Cossentino, Salvatore Gag...
SIAMIS
2010
156views more  SIAMIS 2010»
15 years 1 months ago
Learning the Morphological Diversity
This article proposes a new method for image separation into a linear combination of morphological components. Sparsity in fixed dictionaries is used to extract the cartoon and osc...
Gabriel Peyré, Jalal Fadili, Jean-Luc Starc...