Sciweavers

168 search results - page 25 / 34
» Validating Process Refinement with Ontologies
Sort
View
IJIT
2004
13 years 9 months ago
Formal Verification of a Multicast Protocol In Mobile Networks
As computer network technology becomes increasingly complex, it becomes necessary to place greater requirements on the validity of developing standards and the resulting technology...
Mohammad Reza Matash Borujerdi, S. M. Mirzababaei
ICDE
2008
IEEE
218views Database» more  ICDE 2008»
14 years 9 months ago
AxPRE Summaries: Exploring the (Semi-)Structure of XML Web Collections
The nature of semistructured data in web collections is evolving. Increasingly, XML web documents (or documents exchanged via web services) are valid with regard to a schema, yet ...
Mariano P. Consens, Flavio Rizzolo, Alejandro A. V...
MICCAI
2009
Springer
14 years 8 months ago
A Fuzzy Region-Based Hidden Markov Model for Partial-Volume Classification in Brain MRI
We present a novel fuzzy region-based hidden Markov model (frbHMM) for unsupervised partial-volume classification in brain magnetic resonance images (MRIs). The primary contributio...
Albert Huang, Rafeef Abugharbieh, Roger Tam
GLOBECOM
2006
IEEE
14 years 1 months ago
Interdomain RWA Based on Stochastic Estimation Methods and Adaptive Filtering for Optical Networks
Abstract- This paper presents a RWA strategy based on the stochastic estimation of the Effective Number of Available Wavelengths (ENAW) along interdomain paths. We propose an appro...
Marcelo Yannuzzi, Xavier Masip-Bruin, Sergio S&aac...
ICIS
1998
13 years 9 months ago
An activity based costing approach to systems development and implementation
Many organizations are in the process of replacing legacy systems with large, integrated systems using new technological platforms. Accurate estimation of project resources requir...
Ginny Ooi, Christina Soh, Pui Mun Lee