Sciweavers

5423 search results - page 134 / 1085
» Denial-of-service in automation systems
Sort
View
LICS
2010
IEEE
15 years 4 months ago
Equality Is Typable in Semi-full Pure Type Systems
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
Vincent Siles, Hugo Herbelin
ICRA
2007
IEEE
131views Robotics» more  ICRA 2007»
16 years 24 days ago
Design of an Automated Handling System for Limp, Flexible Sheet Lasagna Pasta
—The manipulation of flexible and limp sheet materials is a common requirement in many industrial manufacturing processes, however automation of even simple tasks involving these...
René J. Moreno Masey, Darwin G. Caldwell
SIGUCCS
2009
ACM
15 years 11 months ago
Automated lecture recording system with AVCHD camcorder and microserver
Although recording and streaming lecture videos is becoming popular, large-scale lecture recording is still a difficult task for many universities. Auto lecture recording systems ...
Takayuki Nagai
AUSAI
2003
Springer
15 years 11 months ago
Towards Automated Creation of Image Interpretation Systems
Abstract. Automated image interpretation is an important task in numerous applications ranging from security systems to natural resource inventorization based on remote-sensing. Re...
Ilya Levner, Vadim Bulitko, Lihong Li, Greg Lee, R...
ETFA
2008
IEEE
16 years 29 days ago
Reactivity analysis of different Networked Automation System architectures
The reactivity of Networked Automation Systems (NAS) has direct influence on safety and quality aspects. It can be determined by a response time analysis, which itself can be calc...
Jürgen Greifeneder, Georg Frey