2777 search results - page 318 / 556 » Example centric programming |
129
Voted
CVPR
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper presents a codebook learning approach for image classification and retrieval. It corresponds to learning a weighted similarity metric to satisfy that the weighted simil...
117
click to vote
CONCUR
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...
118
click to vote
ICCAD
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper, an internal design model called FunState (functions driven by state machines) is presented that enables the representation of different types of system components a...
100
click to vote
ICSM
1999
IEEE
15 years 7 months ago
1999
IEEE
The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software Migrations Ltd., is an industrial-strength formal tran...
168
click to vote
ECOOPW
1999
Springer
15 years 7 months ago
1999
Springer
This paper describes a novel application for Aspect-Oriented Programming (AOP). By combining the concepts of Business Process Management and AOP, we present an approach for enabli...