Sciweavers

5722 search results - page 349 / 1145
» Dynamic inference control
Sort
View
HIPC
2003
Springer
15 years 11 months ago
Thread Migration/Checkpointing for Type-Unsafe C Programs
Thread migration/checkpointing is becoming indispensable for load balancing and fault tolerance in high performance computing applications, and its success depends on the migration...
Hai Jiang, Vipin Chaudhary
FORMATS
2006
Springer
15 years 9 months ago
Temporal Logic Verification Using Simulation
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
Georgios E. Fainekos, Antoine Girard, George J. Pa...
JMLR
2010
137views more  JMLR 2010»
15 years 24 days ago
Importance Sampling for Continuous Time Bayesian Networks
A continuous time Bayesian network (CTBN) uses a structured representation to describe a dynamic system with a finite number of states which evolves in continuous time. Exact infe...
Yu Fan, Jing Xu, Christian R. Shelton
ICRA
2009
IEEE
97views Robotics» more  ICRA 2009»
16 years 20 days ago
Tuning the gains of haptic couplings to improve force feedback stability in nanorobotics
— This paper deals with the problem of bilateral haptic control in nanorobotics. At this scale, a human operator cannot interact directly with objects. He needs special tools man...
Aude Bolopion, Barthelemy Cagneau, D. Sinan Haliyo...
HOLOMAS
2003
Springer
15 years 11 months ago
Integration of Automation Resources in Holonic Manufacturing Applications
Holonic and agent-based paradigms are very suitable in the development of distributed manufacturing control systems, taking advantage of their modularity, decentralization, and abi...
Paulo Leitão, Raymond Boissier, Francisco C...