517 search results - page 77 / 104 » Specification transformers: a predicate transformer approach... |
VAST
2004
ACM
14 years 1 months ago
2004
ACM
Digitizing real-life objects via range scanners, stereo vision or tactile sensors usually requires the composition of multiple range images. In this paper we exploit intensity ima...
PEPM
1999
ACM
14 years 22 days ago
1999
ACM
Aspect-oriented programming addresses the problem that the implementation of some properties such as error handling and optimization tends to cross-cut the basic functionality. To...
TWEB
2010
13 years 6 months ago
2010
The Business Process Execution Language (BPEL) standardizes the development of composite enterprise applications that make use of software components exposed as Web services. BPEL...
ICALT
2005
IEEE
14 years 2 months ago
2005
IEEE
The paper proposes a framework for building learning object (LO) content using ontologies. In the previous work on using ontologies to describe LOs, researchers employed ontologies...
ETVC
2008
13 years 10 months ago
2008
Abstract. This paper presents a framework to define an objective measure of the similarity (or dissimilarity) between two images for image processing. The problem is twofold: 1) de...