Sciweavers

5244 search results - page 392 / 1049
» Structural Complexity of AvgBPP
Sort
View
DILS
2006
Springer
15 years 10 months ago
A Method for Similarity-Based Grouping of Biological Data
Similarity-based grouping of data entries in one or more data sources is a task underlying many different data management tasks, such as, structuring search results, removal of red...
Vaida Jakoniene, David Rundqvist, Patrick Lambrix
FM
2006
Springer
161views Formal Methods» more  FM 2006»
15 years 10 months ago
Changing Programs Correctly: Refactoring with Specifications
Refactorings change the internal structure of code without changing its external behavior. For non-trivial refactorings, the preservation of external behavior depends on semantic p...
Fabian Bannwart, Peter Müller
FASE
2000
Springer
15 years 10 months ago
A Formal Approach to Heterogeneous Software Modeling
The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, "improved" models. Examples of such models are arc...
Alexander Egyed, Nenad Medvidovic
CAIP
1997
Springer
125views Image Analysis» more  CAIP 1997»
15 years 10 months ago
An Algorithm for Intrinsic Dimensionality Estimation
Abstract. In this paper a new method for analyzing the intrinsic dimensionality (ID) of low dimensional manifolds in high dimensional feature spaces is presented. The basic idea is...
Jörg Bruske, Gerald Sommer
USM
2000
15 years 10 months ago
Integrating Trading and Load Balancing for Efficient Management of Services in Distributed Systems
Due to the requirements of open service markets, the structure of networks and application systems is changing. To handle the evolving complex distributed systems, new concepts for...
Dirk Thißen, Helmut Neukirchen