Sciweavers

878 search results - page 104 / 176
» Interacting Abstract State Machines
Sort
View
DAGM
2004
Springer
15 years 3 months ago
Learning with Distance Substitution Kernels
Abstract. During recent years much effort has been spent in incorporating problem specific a-priori knowledge into kernel methods for machine learning. A common example is a-prior...
Bernard Haasdonk, Claus Bahlmann
SEMWEB
2004
Springer
15 years 3 months ago
SWS for Financial Overdrawn Alerting
Abstract. In this paper, we present a Notification Agent designed and implemented using Semantic Web Services. The Notification Agent manages alerts when critical financial situati...
José Manuel López Cobo, Silvestre Lo...
HICSS
2002
IEEE
93views Biometrics» more  HICSS 2002»
15 years 2 months ago
High-Level Executable Specification of the Universal Plug and Play Architecture
Recently, Microsoft took a lead in the development of a standard for peer-to-peer network connectivity of various intelligent appliances, wireless devices and PCs. It is called th...
Uwe Glässer, Yuri Gurevich, Margus Veanes
CDC
2009
IEEE
137views Control Systems» more  CDC 2009»
15 years 2 months ago
Generalized Model Predictive Direct Torque Control: Long prediction horizons and minimization of switching losses
Abstract— This paper presents a generalized Model Predictive Direct Torque Control scheme with an extended horizon, which is composed of multiple hinges (groups of switch transit...
Tobias Geyer
TPHOL
1998
IEEE
15 years 2 months ago
Co-inductive Axiomatization of a Synchronous Language
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
David Nowak, Jean-René Beauvais, Jean-Pierr...