2596 search results - page 315 / 520 » Gradual Typing for Objects |
109
click to vote
DAS
2004
Springer
15 years 9 months ago
2004
Springer
Voronoi tessellation of image elements provides an intuitive and appealing definition of proximity, which has been suggested as an effective tool for the description of relations...
145
click to vote
EUSAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. With the emerging mass production of very small, cheap Radio Frequency Identification (RFID) tags, it is becoming feasible to deploy such tags on a large scale. In this ...
153
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
In financial engineering the problem of portfolio selection has drawn much attention in the last decades. But still unsolved problems remain, while on the one hand the type of mod...
110
click to vote
GPCE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
150
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
Although sorts and unary predicates are semantically identical in order-sorted logic, they are classified as different kinds of properties in formal ontology (e.g. sortal and non...