3775 search results - page 423 / 755 » The Expression Problem Revisited |
165
click to vote
LPAR
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Matching is a basic operation extensively used in computation. Second-order matching, in particular, provides an adequate environment for expressing program transformatio...
208
click to vote
MDAI
2004
Springer
16 years 5 days ago
2004
Springer
The problem of finding quality information and services on the Web is analyzed. We present two user-centered evaluation methodologies to characterize the quality of the Web docume...
183
click to vote
MICCAI
2004
Springer
16 years 5 days ago
2004
Springer
Mutual information has become a popular similarity measure in multi-modality medical image registration since it was first applied to the problem in 1995. This paper describes a m...
157
click to vote
RTA
2004
Springer
16 years 4 days ago
2004
Springer
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...
196
click to vote
SEMWEB
2004
Springer
16 years 4 days ago
2004
Springer
Due to the problem of information overload, locating relevant Web portals precisely based on user requirements is quite an essential task. As the need for application-to-applicatio...