Sciweavers

1111 search results - page 18 / 223
» A Conceptual Modeling Technique Based on Semantically Comple...
Sort
View
FASE
2010
Springer
14 years 3 months ago
Proving Consistency and Completeness of Model Classes Using Theory Interpretation
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
Ádám Darvas, Peter Müller
IMAGING
2000
13 years 10 months ago
A Composite Spectral Model and Its Applications
A new spectral representation called the composite model is proposed. Its key point is to decompose all spectra into a smooth background and a collection of spikes. The smooth par...
Yinlong Sun, F. David Fracchia, Mark S. Drew
WWW
2006
ACM
14 years 9 months ago
Knowledge modeling and its application in life sciences: a tale of two ontologies
High throughput glycoproteomics, similar to genomics and proteomics, involves extremely large volumes of distributed, heterogeneous data as a basis for identification and quantifi...
Satya Sanket Sahoo, Christopher Thomas, Amit P. Sh...
ICIP
2003
IEEE
14 years 10 months ago
A context modeling algorithm and its application in video compression
A new algorithm for context modeling of binary sources with application to video compression is presented. Our proposed method is based on a tree rearrangement and tree selection ...
Marta Mrak, Detlev Marpe, Thomas Wiegand
UML
1998
Springer
14 years 5 days ago
Supporting and Applying the UML Conceptual Framework
The Unified Modelling Language (UML) ostensibly assumes a four level (meta) modelling framework, both for its definition and for the conceptual context in which its users operate. ...
Colin Atkinson