5630 search results - page 274 / 1126 » Computability in Specification |
164
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a method of overlapping/aggregating nuclei cells segmentation. This method is based on the watershed segmentation algorithm, but the specificity of this work i...
164
click to vote
SEMCO
2008
IEEE
16 years 1 months ago
2008
IEEE
This demonstration shows how semantic schema matching technology is being incorporated into the BEA AquaLogic Data Services Platform. Specifically, it demonstrates how the manuall...
162
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Component-based development has emerged as an effective approach to building flexible systems, but there is little experience in applying this approach to Grid programming. This p...
214
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
160
click to vote
ITNG
2006
IEEE
16 years 23 days ago
2006
IEEE
The accepted view of programming, rooted in Turing’s fundamental characterization of algorithms, has had a profound impact on the theory and practice of computing with yet broad...