2036 search results - page 348 / 408 » A generic type-and-effect system |
ERCIMDL
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Anyone offering content in a digital library is naturally interested in assessing its performance: how well does my system meet the users' information needs? Standar...
97
Voted
CORR
2010
Springer
15 years 20 days ago
2010
Springer
Molecular recognition, which is essential in processing information in biological systems, takes place in a crowded noisy biochemical environment and requires the recognition of a ...
89
Voted
CORR
2008
Springer
15 years 20 days ago
2008
Springer
Particle Image Velocimetry (PIV) is a method of imaging and analysing fields of flows. The PIV techniques compute and display all the motion vectors of the field in a resulting im...
FAC
2008
15 years 19 days ago
2008
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...
94
Voted
FAC
2008
15 years 19 days ago
2008
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...