Sciweavers

1950 search results - page 346 / 390
» Two Abstractions for Distributed Systems of Mobile Nodes
Sort
View
BERTINORO
2005
Springer
15 years 10 months ago
Self-Management of Virtual Paths in Dynamic Networks
Abstract Virtual path management in dynamic networks poses a number of challenges related to combinatorial optimisation, fault and traffic handling. Ideally such management should ...
Poul E. Heegaard, Otto Wittner, Bjarne E. Helvik
FSTTCS
2005
Springer
15 years 10 months ago
The MSO Theory of Connectedly Communicating Processes
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
P. Madhusudan, P. S. Thiagarajan, Shaofa Yang
CSCLP
2004
Springer
15 years 10 months ago
A Note on Bilattices and Open Constraint Programming
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
Arnaud Lallouet
ICRA
2002
IEEE
152views Robotics» more  ICRA 2002»
15 years 9 months ago
Needle Insertion Modelling and Simulation
Abstract—A methodology for estimating the force distribution that occurs along a needle shaft during insertion is described. To validate the approach, an experimental system for ...
Simon P. DiMaio, S. E. Salcudean
TSP
2008
103views more  TSP 2008»
15 years 4 months ago
Bounds for Estimation of Covariance Matrices From Heterogeneous Samples
Abstract--This correspondence derives lower bounds on the meansquare error (MSE) for the estimation of a covariance matrix , using samples k = 1; . . . ; K, whose covariance matric...
Olivier Besson, Stéphanie Bidon, Jean-Yves ...