Sciweavers

1330 search results - page 94 / 266
» No Classic Boundary Conditions
Sort
View
ISCAS
2006
IEEE
119views Hardware» more  ISCAS 2006»
15 years 6 months ago
Using self-organizing maps to control physical robots with omnidirectional drives
— In many application areas, robots most suitably employ classical PID controllers and the like. In the field of autonomous mobile robots, however, further adaptation features a...
Ralf Salomon, Hagen Burchardt, T. Schulz
88
Voted
APN
2000
Springer
15 years 5 months ago
Pre- and Post-agglomerations for LTL Model Checking
One of the most efficient analysis technique is to reduce an original model into a simpler one such that the reduced model has the same properties than the original one. G. Berthel...
Denis Poitrenaud, Jean-François Pradat-Peyr...
PODC
2010
ACM
15 years 2 months ago
Brief announcement: capacity of byzantine agreement with finite link capacity - complete characterization of four-node networks
In this paper, we consider the problem of maximizing the throughput of Byzantine agreement, when communication links have finite capacity. Byzantine agreement is a classical probl...
Guanfeng Liang, Nitin Vaidya
93
Voted
USS
2004
15 years 2 months ago
Fixing Races for Fun and Profit: How to Use access(2)
It is well known that it is insecure to use the access(2) system call in a setuid program to test for the ability of the program's executor to access a file before opening sa...
Drew Dean, Alan J. Hu
AIPS
1996
15 years 2 months ago
Expressive Planning and Explicit Knowledge
Weare concerned with the implications and interactions of three commonexpressive extensions to classical planning: conditional plans, context-dependent actions, and nondeterminist...
Robert P. Goldman, Mark S. Boddy