1755 search results - page 175 / 351 » An efficient simulation algorithm based on abstract interpre... |
137
click to vote
CLUSTER
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract--This paper proposes an analytical model to estimate the cost of running an affinity-based thread schedule on multicore systems. The model consists of three submodels to e...
151
Voted
AAAI
2000
15 years 4 months ago
2000
Given a model of a physical process and a sequence of commands and observations received over time, the task of an autonomous controller is to determine the likely states of the p...
135
Voted
TEC
2010
14 years 10 months ago
2010
Abstract--Assuming that evolutionary multiobjective optimization (EMO) mainly deals with set problems, one can identify three core questions in this area of research: (i) how to fo...
149
click to vote
VIS
2005
IEEE
16 years 4 months ago
2005
IEEE
In this paper, we present a volume roaming system dedicated to oil and gas exploration. Our system combines probebased volume rendering with data processing and computing. The dai...
107
Voted
ICIP
2006
IEEE
16 years 5 months ago
2006
IEEE
We present a system for automatic hot spots detection and segmentation in whole body FDG-PET images. The main contribution of our system is threefold. First, it has a novel body-s...