21319 search results - page 3599 / 4264 » An Approach for Method Reengineering |
176
Voted
SOCO
2005
Springer
16 years 22 days ago
2005
Springer
Software systems that rely on the component paradigm build new components by assembling existing prefabricated components. Most currently available IDEs support graphical component...
220
click to vote
SSD
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. A top-k OLAP query groups measures with respect to some abstraction level of interesting dimensions and selects the k groups with the highest aggregate value. An example ...
212
click to vote
SSD
2005
Springer
16 years 22 days ago
2005
Springer
Assume that a franchise plans to open k branches in a city, so that the average distance from each residential block to the closest branch is minimized. This is an instance of the ...
166
click to vote
TACAS
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
231
Voted
VLSM
2005
Springer
16 years 22 days ago
2005
Springer
We present a computationally efficient segmentationrestoration method, based on a probabilistic formulation, for the joint estimation of the label map (segmentation) and the para...