Sciweavers

9219 search results - page 374 / 1844
» Dynamics Modeling and Culling
Sort
View
195
Voted
STOC
2010
ACM
211views Algorithms» more  STOC 2010»
15 years 11 months ago
Distributed Computation in Dynamic Networks
In this paper we investigate distributed computation in dynamic networks in which the network topology changes from round to round. We consider a worst-case model in which the com...
Fabian Kuhn, Nancy Lynch and Rotem Oshman
LORI
2009
Springer
16 years 1 months ago
Dynamic Testimonial Logic
We propose a dynamic testimonial logic (DTL) to model communication and belief change among agents with different dispositions to trust each other as information sources. DTL is ...
Wesley H. Holliday
ICRA
2002
IEEE
110views Robotics» more  ICRA 2002»
15 years 11 months ago
Dynamic Shape Reconstruction using Tactile Sensors
—We present new results on reconstruction of the shape and motion of an unknown object using tactile sensors without requiring objectimmobilization. Arobotmanipulatestheobjectwit...
Mark Moll, Michael Erdmann
CAV
2010
Springer
207views Hardware» more  CAV 2010»
15 years 10 months ago
Petruchio: From Dynamic Networks to Nets
We introduce Petruchio, a tool for computing Petri net translations of dynamic networks. To cater for unbounded architectures beyond the capabilities of existing implementations, t...
Roland Meyer, Tim Strazny
WORM
2004
15 years 8 months ago
Preliminary results using scale-down to explore worm dynamics
A major challenge when attempting to analyze and model large-scale Internet phenomena such as the dynamics of global worm propagation is finding ate abstractions that allow us to ...
Nicholas Weaver, Ihab Hamadeh, George Kesidis, Ver...