132 search results - page 17 / 27 » A property-based approach for characterizing goals |
ICPP
1999
IEEE
13 years 11 months ago
1999
IEEE
On-line transaction processing exhibits poor memory behavior in high-end multiprocessor servers because of complex sharing patterns and substantial interaction between the databas...
MICCAI
1999
Springer
13 years 11 months ago
1999
Springer
This paper reports the development of a robotic system designed to extend a human’s ability to perform small-scale (sub-millimeter) manipulation tasks requiring human judgement, ...
ESEM
2009
ACM
13 years 10 months ago
2009
ACM
The goal of this work is to visualize inheritance in objectoriented programs to help its comprehension. We propose a single, compact view of all class hierarchies at once using a ...
TREC
2008
13 years 9 months ago
2008
In this paper, we report our experiments in the TREC 2008 Relevance Feedback Track. Our main goal is to study a novel problem in feedback, i.e., optimization of the balance of the...
ESANN
2000
13 years 8 months ago
2000
Planing the operation in modern power systems requires suitable anticipation of load evolution at different levels of distribution network. Under this perspective, load forecasting...