Sciweavers

10213 search results - page 1694 / 2043
» An Experimental Analysis of Parallel
Sort
View
ICSE
1997
IEEE-ACM
15 years 10 months ago
Introducing Formal Specification Methods in Industrial Practice
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
Luciano Baresi, Alessandro Orso, Mauro Pezzè...
ICSE
1995
IEEE-ACM
15 years 10 months ago
A Compact Petri Net Representation for Concurrent Programs
This paper presents a compact Petri net representation that is e cient to construct for concurrent programs that use explicit tasking and rendezvous style communication. These Pet...
Matthew B. Dwyer, Lori A. Clarke, Kari A. Nies
ICPR
2010
IEEE
15 years 10 months ago
A Hypothesis Testing Approach for Fluorescent Blob Identification
Template matching is a common approach for identifying fluorescent objects within a biological image. But how to decide a threshold value for the purpose of justifying the goodness...
Le-Shin Wu, Sidney Shaw
ESWS
2010
Springer
15 years 10 months ago
Efficient Semantic-Aware Detection of Near Duplicate Resources
Abstract. Efficiently detecting near duplicate resources is an important task when integrating information from various sources and applications. Once detected, near duplicate reso...
Ekaterini Ioannou, Odysseas Papapetrou, Dimitrios ...
ICPR
2010
IEEE
15 years 10 months ago
Automatic Diagnosis of Masses by Using Level Set Segmentation and Shape Description
We present here an approach for automatic mass diagnosis in mammographic images. Our strategy contains three main steps. Firstly, region of interests containing mass and background...
Arnau Oliver, Albert Torrent, Xavier Llado, Joan M...
« Prev « First page 1694 / 2043 Last » Next »