2598 search results - page 359 / 520 » The Abstract Immune System Algorithm |
97
Voted
DGCI
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Designing interactive segmentation methods for digital volume images is difficult, mainly because efficient 3D interaction is much harder to achieve than interaction with...
145
click to vote
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Generic types in C behave invariantly with respect to subtyping. We propose a system of type-safe variance for C that supports the declaration of covariant and contravari...
136
click to vote
CAV
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
157
Voted
TLCA
1995
Springer
15 years 6 months ago
1995
Springer
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
122
Voted
AAAI
2007
15 years 5 months ago
2007
Physically based rendering is the process of generating a 2D om the abstract description of a 3D Scene. Despite the development of various new techniques and algorithms, the compu...