Sciweavers

3579 search results - page 255 / 716
» Transformations of software models into performance models
Sort
View
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
15 years 11 months ago
Model Checking Live Sequence Charts
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
Jun Sun 0001, Jin Song Dong
DAGM
2001
Springer
15 years 10 months ago
3D Model Retrieval with Spherical Harmonics and Moments
We consider 3D object retrieval in which a polygonal mesh serves as a query and similar objects are retrieved from a collection of 3D objects. Algorithms proceed first by a normal...
Dietmar Saupe, Dejan V. Vranic
ER
2006
Springer
89views Database» more  ER 2006»
15 years 9 months ago
A UML Profile for Modeling Schema Mappings
When trying to obtain semantical interoperability between different information systems, the integration of heterogeneous information sources is a fundamental task. An important st...
Stefan Kurz, Michael Guppenberger, Burkhard Freita...
ICIP
2007
IEEE
15 years 6 months ago
Statistical Multiscale Image Segmentation via Alpha-Stable Modeling
This paper presents a new statistical image segmentation algorithm, in which the texture features are modeled by Symmetric Alpha-Stable (SαS) distributions. These features are ef...
Tao Wan, Cedric Nishan Canagarajah, Alin Achim
TCOM
2010
87views more  TCOM 2010»
15 years 20 days ago
Performance of an AFC Loop in the Presence of a Single Interferer in a Fading Channel
The performance of an automatic frequency control (AFC) loop is investigated using two measures, the mean time to loss of lock and the average switching rate. The AFC is considere...
Amin Emad, Norman C. Beaulieu