Sciweavers

1031 search results - page 174 / 207
» Broadcasting with Selective Reduction
Sort
View
MICCAI
2000
Springer
14 years 2 months ago
Efficient Semiautomatic Segmentation of 3D Objects in Medical Images
Abstract. We present a fast and accurate tool for semiautomatic segmentation of volumetric medical images based on the live wire algorithm, shape-based interpolation and a new opti...
Andrea Schenk, Guido P. M. Prause, Heinz-Otto Peit...
WIA
2000
Springer
14 years 2 months ago
MONA Implementation Secrets
The Mona tool provides an implementation of the decision procedures for the logics WS1S and WS2S. It has been used for numerous applications, and it is remarkably efficient in prac...
Nils Klarlund, Anders Møller, Michael I. Sc...
CMSB
2009
Springer
14 years 1 months ago
On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process
In this paper we consider the modeling of a selected portion of signal transduction events involved in the angiogenesis process. The detailed model of this process contains a large...
Lucia Napione, Daniele Manini, Francesca Cordero, ...
DLOG
2008
14 years 22 days ago
Identifying Objects Over Time with Description Logics
A fundamental requirement for cooperating agents is to agree on a selection of component values of objects that can be used for reliably communicating references to the objects, to...
David Toman, Grant E. Weddell
ASPDAC
2008
ACM
87views Hardware» more  ASPDAC 2008»
14 years 12 days ago
An efficient performance improvement method utilizing specialized functional units in Behavioral Synthesis
This paper proposes a novel Behavioral Synthesis method that improves performance of synthesized circuits utilizing specialized functional units effectively. Specialized functional...
Tsuyoshi Sadakata, Yusuke Matsunaga