Sciweavers

1189 search results - page 98 / 238
» The Quotient of an Abstract Interpretation
Sort
View
118
Voted
ICANN
2009
Springer
15 years 4 months ago
Classification Based on Combination of Kernel Density Estimators
Abstract. A new classification algorithm based on combination of kernel density estimators is introduced. The method combines the estimators with different bandwidths what can be i...
Mateusz Kobos, Jacek Mandziuk
99
Voted
ACSD
2006
IEEE
76views Hardware» more  ACSD 2006»
15 years 4 months ago
Specification and Verification of Dynamic Communication Systems
Dynamic communication systems (DCS) are complex because of their unboundedness in several dimensions. They have an unbounded and changing number of objects, a dynamically changing...
Jörg Bauer, Ina Schaefer, Tobe Toben, Bernd W...
81
Voted
MPC
2000
Springer
105views Mathematics» more  MPC 2000»
15 years 4 months ago
The Universal Resolving Algorithm: Inverse Computation in a Functional Language
Abstract. We present an algorithm for inverse computation in a rstorder functional language based on the notion of a perfect process tree. The Universal Resolving Algorithm (URA) i...
Sergei M. Abramov, Robert Glück
EUROGP
2010
Springer
172views Optimization» more  EUROGP 2010»
15 years 4 months ago
Geometric Differential Evolution on the Space of Genetic Programs
Abstract. Geometric Differential Evolution (GDE) is a very recently introduced formal generalization of traditional Differential Evolution (DE) that can be used to derive specific ...
Alberto Moraglio, Sara Silva
115
Voted
ER
2008
Springer
111views Database» more  ER 2008»
15 years 2 months ago
The Situation Lens: Looking into Personal Service Composition
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...
Augusto Celentano, Stefano Faralli, Fabio Pittarel...