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 6 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 4 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 4 days 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...
156
Voted
AOSE
2008
Springer
15 years 6 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»
14 years 11 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...