Sciweavers

7554 search results - page 922 / 1511
» Process Diagnostics: A Method Based on Process Mining
Sort
View
ICDAR
2009
IEEE
16 years 1 months ago
Online Recognition of Multi-Stroke Symbols with Orthogonal Series
We propose an efficient method to recognize multi-stroke handwritten symbols. The method is based on computing the truncated Legendre-Sobolev expansions of the coordinate functio...
Oleg Golubitsky, Stephen M. Watt
IFM
2009
Springer
16 years 1 months ago
Verifying UML/OCL Operation Contracts
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...
Jordi Cabot, Robert Clarisó, Daniel Riera
QEST
2008
IEEE
16 years 1 months ago
CaVi -- Simulation and Model Checking for Wireless Sensor Networks
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...
Athanassios Boulis, Ansgar Fehnker, Matthias Fruth...
ICRA
2007
IEEE
135views Robotics» more  ICRA 2007»
16 years 1 months ago
6 DOF haptic feedback for molecular docking using wave variables
— This paper presents a new method for a six degrees of freedom haptic feedback in molecular docking simulations in virtual reality. The proposed method allows real-time haptic i...
Bruno Daunay, Alain Micaelli, Stephane Régn...
IROS
2007
IEEE
113views Robotics» more  IROS 2007»
16 years 1 months ago
Modeling and motion planning for handling furniture by a mobile manipulator
— This paper introduces a planning method for handling furniture which exists in real world. We propose a method which is easily expandable its handle able furniture such as clos...
Kimitoshi Yamazaki, Takashi Tsubouchi, Masahiro To...