14190 search results - page 2472 / 2838 » Abstractions for hybrid systems |
222
click to vote
IFL
2001
Springer
16 years 4 days ago
2001
Springer
Abstract. Generic programming enables the programmer to define functions by induction on the structure of types. Defined once, such a generic function can be used to generate a s...
234
click to vote
IWVF
2001
Springer
16 years 3 days ago
2001
Springer
Abstract. Most CBIR systems use low-level visual features for representation and retrieval of images. Generally such methods suffer from the problems of high-dimensionality leadin...
205
click to vote
NGC
2001
Springer
16 years 3 days ago
2001
Springer
Abstract. Most currently proposed solutions to application-level multicast organize the group members into an application-level mesh over which a DistanceVector routing protocol, o...
185
click to vote
PADL
2001
Springer
16 years 3 days ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
195
click to vote
PROMS
2001
Springer
16 years 3 days ago
2001
Springer
—This paper presents a model-based approach to service creation. We observe that the complexity of software services increases. To manage this complexity, and to quickly create s...