Sciweavers

2450 search results - page 322 / 490
» On Application of Structural Decomposition for Process Model...
Sort
View
DEXAW
2005
IEEE
142views Database» more  DEXAW 2005»
15 years 10 months ago
Service Composition for SDIs: Integrated Components Creation
We describe a methodology for creating composite web services, a key ingredient in spatial data infrastructure (SDI) applications, which we demonstrate on an emergency management ...
Carlos Granell, Michael Gould, Francisco Ramos
ACSD
2004
IEEE
124views Hardware» more  ACSD 2004»
15 years 8 months ago
A Behavioral Type Inference System for Compositional System-on-Chip Design
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...
Jean-Pierre Talpin, David Berner, Sandeep K. Shukl...
ASM
2008
ASM
15 years 6 months ago
Using EventB to Create a Virtual Machine Instruction Set Architecture
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...
Stephen Wright
MICCAI
2004
Springer
16 years 5 months ago
Medical Image Segmentation Based on Mutual Information Maximization
Abstract. In this paper we propose a two-step mutual informationbased algorithm for medical image segmentation. In the first step, the image is structured into homogeneous regions,...
Jaume Rigau, Miquel Feixas, Mateu Sbert, Anton Bar...
SG
2007
Springer
15 years 10 months ago
Semantic Information and Local Constraints for Parametric Parts in Interactive Virtual Construction
Abstract. This paper introduces a semantic representation for virtual prototyping in interactive virtual construction applications. The representation reflects semantic information...
Peter Biermann, Christian Fröhlich, Marc Eric...