Sciweavers

722 search results - page 92 / 145
» The State Operator in Real Time Process Algebra
Sort
View
CBMS
2008
IEEE
15 years 6 months ago
Using the Grid for Enhancing the Performance of a Medical Image Search Engine
— In this paper we show how Grid computing can be used to improve the operation of a medical image search system. The paper introduces the basic principles of a content-based ima...
Mikko Juhani Pitkänen, Xin Zhou, Antti Eero J...
WSC
2008
15 years 2 months ago
Multi-product lot merging/splitting algorithms for a semiconductor wafer fabrication
This paper focuses on a lot merging/splitting problem in a semiconductor wafer fabrication facility. In the fab, two or more lots can be merged into a single lot if routes and all...
June-Young Bang, Jae-Hun Kang, Bong-Kyun Kim, Yeon...
ICASSP
2011
IEEE
14 years 3 months ago
A fully automated 2-DE gel image analysis pipeline for high throughput proteomics
Image analysis is still considered as the bottleneck in 2D-gel based expression proteomics analysis for biomarkers discovery. We are presenting a new end-to-end image analysis pip...
Panagiotis Tsakanikas, Elias S. Manolakos
CRV
2006
IEEE
125views Robotics» more  CRV 2006»
15 years 1 months ago
Autonomous fish tracking by ROV using Monocular Camera
- This paper concerns the autonomous tracking of fish using a Remotely Operated Vehicle (ROV) equipped with a single camera. An efficient image processing algorithm is presented th...
Jun Zhou, Christopher M. Clark
WDAG
2005
Springer
90views Algorithms» more  WDAG 2005»
15 years 5 months ago
Proving Atomicity: An Assertional Approach
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...
Gregory Chockler, Nancy A. Lynch, Sayan Mitra, Jos...