Sciweavers

7213 search results - page 209 / 1443
» Automated model grouping
Sort
View
IJRFITA
2007
114views more  IJRFITA 2007»
15 years 4 months ago
Semi-passive RFID and beyond: steps towards automated quality tracing in the food chain
: Precise temperature monitoring is the major precondition to supervise quality losses within the transport chain for fresh products. Different types of miniaturised data loggers w...
Reiner Jedermann, Walter Lang
MICCAI
2010
Springer
15 years 2 months ago
A Fully Automated Approach to Segmentation of Irregularly Shaped Cellular Structures in EM Images
Abstract. While there has been substantial progress in segmenting natural images, state-of-the-art methods that perform well in such tasks unfortunately tend to underperform when c...
Aurélien Lucchi, Kevin Smith, Radhakrishna ...
CADE
2011
Springer
14 years 4 months ago
ASASP: Automated Symbolic Analysis of Security Policies
We describe asasp, a symbolic reachability procedure for the analysis of administrative access control policies. The tool represents access policies and their administrative action...
Francesco Alberti, Alessandro Armando, Silvio Rani...
CASE
2011
102views more  CASE 2011»
14 years 4 months ago
Towards an automated verification process for industrial safety applications
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
Kleanthis Thramboulidis, Doaa Soliman, Georg Frey
ISBI
2009
IEEE
15 years 11 months ago
Improved Semi-Automated Segmentation of Cardiac CT and MR Images
This paper presents a semi-automated segmentation method for short-axis cardiac CT and MR images. The main contributions of this work are: 1) using two different energy functional...
Chao Li, Xiao Jia, Ying Sun