Sciweavers

1247 search results - page 58 / 250
» Reasoning about Function Objects
Sort
View
IWPC
2005
IEEE
15 years 8 months ago
Understanding Object-Oriented Source Code from the Behavioural Perspective
Comprehension is a key activity that underpins a variety of software maintenance and engineering tasks. The task of understanding object-oriented systems is hampered by the fact t...
Neil Walkinshaw, Marc Roper, Murray Wood
ICIAP
2005
ACM
15 years 8 months ago
Robust Particle Filtering for Object Tracking
Abstract. This paper addresses the filtering problem when no assumption about linearity or gaussianity is made on the involved density functions. This approach, widely known as pa...
Daniel Rowe, Ignasi Rius, Jordi Gonzàlez, J...
DIMVA
2004
15 years 3 months ago
Structural Comparison of Executable Objects
: A method to heuristically construct an isomorphism between the sets of functions in two similar but differing versions of the same executable file is presented. Such an isomorphi...
Halvar Flake
IPCO
2010
153views Optimization» more  IPCO 2010»
15 years 10 days ago
An Effective Branch-and-Bound Algorithm for Convex Quadratic Integer Programming
We present a branch-and-bound algorithm for minimizing a convex quadratic objective function over integer variables subject to convex constraints. In a given node of the enumerati...
Christoph Buchheim, Alberto Caprara, Andrea Lodi
111
Voted
ECTEL
2006
Springer
15 years 6 months ago
A Formal Model of Learning Object Metadata
In this paper, we introduce a new, formal model of learning object metadata. The model enables more formal, rigorous reasoning over metadata. An important feature of the model is t...
Kris Cardinaels, Erik Duval, Henk J. Olivié