Abstract. We present a prototype application for graph-based data exploration and mining, with particular emphasis on scientific data. The application has a Flash-based graphical i...
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
Nina Amla, E. Allen Emerson, Robert P. Kurshan, Ke...
This paper addresses the measurement of motion expressiveness in wheeled mobile robots. A neural network based supervised learning strategy is proposed as a method to fuse informat...
Lifelong electronic health records can supply valuable information for research, quality management and health politics in addition to supporting treatment of patients. Based on ex...
Walter Gall, Wilfried Grossmann, Georg Duftschmid,...
: The interest of the scientific community for anthropocentric (human-centered) video analysis stems from the fact that the extracted information (e.g. human presence, identity, bo...