Sciweavers

5423 search results - page 170 / 1085
» Denial-of-service in automation systems
Sort
View
ICRA
1995
IEEE
81views Robotics» more  ICRA 1995»
15 years 10 months ago
Parts Orienting by Push-Aligning
Programmable parts orienting is an important capability for exible automation systems. Here we study how a part grasped in an unknown orientation by a force-controlled robot can b...
Srinivas Akella, Matthew T. Mason
WSC
2008
15 years 9 months ago
An analytical model for conveyor based AMHS in semiconductor wafer fabs
This paper proposes an analytical model useful in the design of conveyor-based Automated Material Handling Systems (AMHS) to support semiconductor manufacturing. The objective is ...
Dima Nazzal, Andrew Johnson, Hector J. Carlo, Jesu...
DLOG
1996
15 years 7 months ago
An HTML Interface for Classic
Several significant problems exist whenapplying knowledge representation systems to real problems. In particular, the obscurity of LISP, the resource consumption, garbage collecti...
Christopher A. Welty
DEON
2010
Springer
15 years 6 months ago
Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra
The aim of the present paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra. Differences among the systems in question lie...
Robert Trypuz, Piotr Kulicki
FLOPS
2010
Springer
15 years 5 months ago
Proving Injectivity of Functions via Program Inversion in Term Rewriting
Injectivity is one of the important properties for functions while it is undecidable in general and decidable for linear treeless functions. In this paper, we show new sufficient c...
Naoki Nishida, Masahiko Sakai