4106 search results - page 492 / 822 » A Computational Model for Metric Spaces |
166
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
Given the complexity of parallel programs, developers often must rely on performance analysis tools to help them improve the performance of their code. While many tools support th...
165
click to vote
IPPS
2005
IEEE
16 years 14 days ago
2005
IEEE
— Schedule synthesis based on reachability analysis of timed automata has received attention in the last few years. The main strength of this approach is that the expressiveness ...
175
click to vote
BMVC
1997
15 years 8 months ago
1997
This paper presents a surface segmentation method which uses a simulated inflating balloon model to segment surface structure from volumetric data using a triangular mesh. The mod...
212
click to vote
TCS
2010
15 years 1 months ago
2010
Markovian process algebras, such as PEPA and stochastic -calculus, bring a powerful compositional approach to the performance modelling of complex systems. However, the models gen...
173
click to vote
SMA
2008
ACM
15 years 6 months ago
2008
ACM
In recent years, there has been an increasing interest in developing geometric algorithms for kinematic computations. The aim of this paper is to present the notion of kinematic c...