21319 search results - page 69 / 4264 » An Approach for Method Reengineering |
ICPR
2006
IEEE
15 years 11 months ago
2006
IEEE
We present here an approach for applying the technique of modeling data transformation manifolds for invariant learning with kernel methods. The approach is based on building a ke...
ISIPTA
2005
IEEE
15 years 3 months ago
2005
IEEE
Graph-theoretical representations for sets of probability measures (credal networks) generally display high complexity, and approximate inference seems to be a natural solution fo...
ECLIPSE
2007
ACM
15 years 1 months ago
2007
ACM
The navigation of structural dependencies (e.g., method invocations) when a developer performs a change task is an effective strategy in program investigation. Several existing ap...
FMOODS
2007
14 years 11 months ago
2007
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...
ORL
2008
14 years 10 months ago
2008
In this paper we propose a power penalty approach to linear complementarity problems (LCP) in a finite dimensional space. This approach is based on approximating the LCP by a nonl...