Sciweavers

2339 search results - page 241 / 468
» Models and Tools for Mulan Applications
Sort
View
ICMCS
1999
IEEE
164views Multimedia» more  ICMCS 1999»
15 years 11 months ago
A Semi-Automatic System to Infer Complex 3-D Shapes from Photographs
We present a semi-automatic image-based modeling system to make 3-D models from photographs. The human operator intervenes only for simple and straightforward tasks. The design of...
Qian Chen, Gérard G. Medioni
ESWA
2007
117views more  ESWA 2007»
15 years 6 months ago
An HMM for detecting spam mail
Hidden Markov Models, or HMMs for short, have been recently used in Bioinformatics for the classification of DNA or protein chains, giving rise to what is known as Profile Hidde...
José Gordillo, Eduardo Conde
TASE
2008
IEEE
16 years 29 days ago
ProB gets Nauty: Effective Symmetry Reduction for B and Z Models
Symmetry reduction holds great promise to counter the state explosion problem. However, currently it is “conducting a life on the fringe”, and is not widely applied, mainly du...
Corinna Spermann, Michael Leuschel
EDOC
2007
IEEE
16 years 28 days ago
Survey of Traceability Approaches in Model-Driven Engineering
Models have been used in various engineering fields to help managing complexity and represent information in difbstraction levels, according to specific notations and stakeholde...
Ismênia Galvão, Arda Goknil
SIGADA
2007
Springer
16 years 21 days ago
AADL modeling and analysis of hierarchical schedulers
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...
Frank Singhoff, Alain Plantec