Sciweavers

5624 search results - page 715 / 1125
» On Conditional Covering Problem
Sort
View
GW
1997
Springer
92views Biometrics» more  GW 1997»
15 years 9 months ago
Neural Architecture for Gesture-Based Human-Machine-Interaction
Abstract. We present a neural architecture for gesture-based interaction between a mobile robot and human users. One crucial problem for natural interface techniques is the robustn...
Hans-Joachim Böhme, Anja Brakensiek, Ulf-Diet...
CAISE
2007
Springer
15 years 9 months ago
Formalization and Verification of EPCs with OR-Joins Based on State and Context
The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two...
Jan Mendling, Wil M. P. van der Aalst
123
Voted
CDC
2009
IEEE
179views Control Systems» more  CDC 2009»
15 years 9 months ago
Controllability analysis for current profile control in tokamaks
Abstract-- The control of the toroidal current density spatial profile in tokamak plasmas will be absolutely critical in future commercial-grade reactors to enable high fusion gain...
Yongsheng Ou, Eugenio Schuster
123
Voted
CDC
2009
IEEE
125views Control Systems» more  CDC 2009»
15 years 9 months ago
Mean square stabilization of multi-input systems over stochastic multiplicative channels
Abstract-- This paper deals with the mean square stabilization problem for multi-input networked systems via single packet or multiple packets transmission, where the unreliability...
Nan Xiao, Lihua Xie, Li Qiu
124
Voted
COCOA
2009
Springer
15 years 9 months ago
Computing the Transitive Closure of a Union of Affine Integer Tuple Relations
Abstract. This paper proposes a method to compute the transitive closure of a union of affine relations on integer tuples. Within Presburger arithmetics, complete algorithms to com...
Anna Beletska, Denis Barthou, Wlodzimierz Bielecki...