Sciweavers

3454 search results - page 333 / 691
» Modern computer algebra
Sort
View
ACIVS
2008
Springer
16 years 1 months ago
Robust Curvature Extrema Detection Based on New Numerical Derivation
Abstract. Extrema of curvature are useful key points for different image analysis tasks. Indeed, polygonal approximation or arc decomposition methods used often these points to ini...
Cédric Join, Salvatore Tabbone
COORDINATION
2007
Springer
16 years 28 days ago
A Theory for Strong Service Compliance
We investigate, in a process algebraic setting, a new notion of compliance that we call strong service compliance: composed services are strong compliant if their composition is bo...
Mario Bravetti, Gianluigi Zavattaro
GLOBECOM
2006
IEEE
16 years 24 days ago
Optimal Routing in the Worst-Case-Error Metric
— This paper considers the problem of finding the path with minimum (zero) worst possible number of errors in a network with V nodes where (1) some nodes are capable of correcti...
Edwin Soedarmadji
INFOCOM
2006
IEEE
16 years 23 days ago
Control Plane for Advance Bandwidth Scheduling in Ultra High-Speed Networks
— A control-plane architecture for supporting advance reservation of dedicated bandwidth channels on a switched network infrastructure is described including the front-end web in...
Nageswara S. V. Rao, Qishi Wu, Song Ding, Steven M...
IPPS
2006
IEEE
16 years 23 days ago
Modelling job allocation where service duration is unknown
In this paper a novel job allocation scheme in distributed systems (TAG) is modelled using the Markovian process algebra PEPA. This scheme requires no prior knowledge of job size ...
Nigel Thomas