Sciweavers

5133 search results - page 528 / 1027
» Optimization in Object Caching
Sort
View
WG
2005
Springer
15 years 10 months ago
Approximation Algorithms for the Bi-criteria Weighted max-cut Problem
Abstract. We consider a generalization of the classical max-cut problem where two objective functions are simultaneously considered. We derive some theorems on the existence and th...
Eric Angel, Evripidis Bampis, Laurent Gourvè...
117
Voted
ECML
2004
Springer
15 years 10 months ago
Associative Clustering
This report contains derivations which did not fit into the paper [3]. Associative clustering (AC) is a method for separately clustering two data sets when one-to-one association...
Janne Sinkkonen, Janne Nikkilä, Leo Lahti, Sa...
156
Voted
DAGM
2003
Springer
15 years 10 months ago
Real-Time Texture-Based 3-D Tracking
We present a tracking approach for textured surfaces which recovers the object motion in 6 degrees of freedom. We assume an arbitrary but known surface shape, and an image of the o...
Wolfgang Sepp, Gerd Hirzinger
122
Voted
IWSAS
2001
Springer
15 years 9 months ago
An Approach to Self-adaptive Software Based on Supervisory Control
: Self-adaptive software systems use observations of their own behavior, and that of their environment, to select and enact adaptations in accordance with some objective(s). This a...
Gabor Karsai, Ákos Lédeczi, Janos Sz...
124
Voted
ECBS
2000
IEEE
70views Hardware» more  ECBS 2000»
15 years 9 months ago
Model Checking the Java Meta-Locking Algorithm
We apply the XMC model checker to the Java metalocking algorithm, a highly optimized technique for ensuring mutually exclusive access by threads to object monitor queues. Our abst...
Samik Basu, Scott A. Smolka, Orson R. Ward