3342 search results - page 251 / 669 » Automating Abstract Interpretation |
146
click to vote
EUROGP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Geometric Differential Evolution (GDE) is a very recently introduced formal generalization of traditional Differential Evolution (DE) that can be used to derive specific ...
141
Voted
ER
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper we discuss about composing services from standard suites of applications for personal data management in mobile devices. We propose a data model and an inte...
110
Voted
BILDMED
2004
15 years 5 months ago
2004
Abstract. This paper proposes a method to control the object enhancement in context region in focal region based volume rendering. The proposed method uses the distance as a factor...
128
Voted
DAGSTUHL
2006
15 years 5 months ago
2006
In the first part, we introduce binary representations of both lambda calculus and combinatory logic terms, and demonstrate their simplicity by providing very compact parser-inter...
123
Voted
ECIS
2000
15 years 5 months ago
2000
Abstract eCommerce of the Business-to-Business (B2B) type requires comprehensivecontractnegotiationsdependingentirelyonacontract schema, which must be developed in advance. Contrac...