4770 search results - page 128 / 954 » Flexible Type Analysis |
132
click to vote
IPMI
2007
Springer
16 years 5 months ago
2007
Springer
We introduce Localized Components Analysis (LoCA) for describing surface shape variation in an ensemble of biomedical objects using a linear subspace of spatially localized shape c...
257
click to vote
CC
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms a...
156
click to vote
AINA
2009
IEEE
15 years 8 months ago
2009
IEEE
Scientific applications like neuroscience data analysis are usually compute and data-intensive. With the use of the additional capacity offered by distributed resources and suitab...
131
click to vote
AIPS
2009
15 years 5 months ago
2009
We provide a theoretical analysis of planning via Petri net unfolding, a novel technique for synthesising parallel plans. Parallel plans are generally valued for their execution f...
117
click to vote
AIPS
2004
15 years 5 months ago
2004
In this paper we analyze and extend a recently developed "task-swapping procedure" for improving schedules in oversubscribed situations. In such situations, there are ta...