Search
Results
-
Adapted magnetic wheel unit for compact robots inspecting complex shaped pipe structures
(2007)2007 IEEE/ASME International Conference on Advanced Intelligent Mechatronics : September 4-7, 2007, ETH Zürich, SwitzerlandConference Paper -
Design of an Ultra-Lightweight Autonomous Solar Airplane for Continuous Flight
(2006)Springer Tracts in Advanced Robotics ~ Field and Service RoboticsConference Paper -
Unsupervised discovery of repetitive objects
(2010)IEEE International Conference on Robotics and Automation (ICRA), 2010 : 3 - 7 [i.e. 3 - 8] May 2010, Anchorage, Alaska, USAConference Paper -
PPP process model for service provision
(2007)Construction for development ~ CIB World Building Congress 2007Conference Paper -
Innovative sales concept and knowledge-platform for prefabricated building construction
(2007)Construction for development ~ CIB World Building Congress 2007Conference Paper -
Monitoring usage-control policies in distributed systems
(2011)18th International Symposium on Temporal Representation and Reasoning (TIME) 2011 : 12-14 September 2011, Lübeck, GermanyWe have previously presented a monitoring algorithm for compliance checking of policies formalized in an expressive metric first-order temporal logic. We explain here the steps required to go from the original algorithm to a working infrastructure capable of monitoring an existing distributed application producing millions of log entries per day. The main challenge is to correctly and efficiently monitor the trace interleavings obtained ...Conference Paper -
Der Mensch im farbigen Licht
(2006)Tagungsberichte, 17. Gemeinschaftstagung der Lichttechnischen Gesellschaft Deutschlands, Österreichs und der SchweizConference Paper -
Mobile Robot Miniaturization
(1993)Lecture Notes in Control and Information Sciences ~ Experimental robotics III : the 3rd International Symposium, Kyoto, Japan : October 28-30, 1993Conference Paper -
-