3931 search results - page 605 / 787 » Separation logic and abstraction |
172
click to vote
CEC
2009
IEEE
16 years 5 days ago
2009
IEEE
Abstract—In the commonly used DE/rand/1 variant of differential evolution the primary mechanism of generating new solutions is the perturbation of a randomly selected point by a ...
193
click to vote
DSVIS
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. With the explosion of devices, computing platforms, contextual conditions, user interfaces become more confronted to a need to be adapted to multiple configurations of t...
222
click to vote
EMMCVPR
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. Grouping is a global partitioning process that integrates local cues distributed over the entire image. We identify four types of pairwise relationships, attraction and r...
205
click to vote
ICSE
2001
IEEE-ACM
15 years 12 months ago
2001
IEEE-ACM
: The design and development of Internet applications, requiring dynamic and possibly mobile access to Internet resources, can take advantage of an approach based on autonomous mob...
214
click to vote
IFL
2001
Springer
15 years 12 months 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...