Sciweavers

6141 search results - page 246 / 1229
» Models and representation of their ownership
Sort
View
ECTEL
2010
Springer
15 years 4 months ago
GVIS: A Facility for Adaptively Mashing Up and Representing Open Learner Models
In this article we present an infrastructure for creating mash up and visual representations of the user profile that combine data from different sources. We explored this approach...
Luca Mazzola, Riccardo Mazza
MA
2011
Springer
188views Communications» more  MA 2011»
15 years 1 months ago
A copula-based model of speculative price dynamics in discrete time
This paper suggests a new technique to construct first order Markov processes using products of copula functions, in the spirit of Darsow et al. (1992). The approach requires the...
Umberto Cherubini, Sabrina Mulinacci, Silvia Romag...
ICFEM
2004
Springer
15 years 12 months ago
Formal Proof from UML Models
Abstract. We present a practical approach to a formal analysis of UMLbased models. This is achieved by an underlying formal representation in Z, which allows us to pose and dischar...
Nuno Amálio, Susan Stepney, Fiona Polack
CORR
2006
Springer
123views Education» more  CORR 2006»
15 years 6 months ago
Context for models of concurrency
Many categories have been used to model concurrency. Using any of these, the challenge is to reduce a given model to a smaller representation which nevertheless preserves the relev...
Peter Bubenik
ICIP
1998
IEEE
16 years 8 months ago
Image Sequence Analysis and Segmentation using G-blobs
This paper introduces a new generalisation of the familiar scale-space and wavelet representations, designed specifically to deal with the complexities of representing motions ind...
Andrew Calway, Peter Meulemans, Roland G. Wilson, ...