Sciweavers

15660 search results - page 190 / 3132
» The Unbalance of Set Systems
Sort
View
CDC
2010
IEEE
129views Control Systems» more  CDC 2010»
15 years 1 months ago
On parameterized Lyapunov and control Lyapunov functions for discrete-time systems
This paper deals with the existence and synthesis of parameterized-(control) Lyapunov functions (p-(C)LFs) for discrete-time nonlinear systems that are possibly subject to constrai...
Mircea Lazar, Rob H. Gielen
CADE
2006
Springer
16 years 7 months ago
Automation of Recursive Path Ordering for Infinite Labelled Rewrite Systems
Abstract. Semantic labelling is a transformational technique for proving termination of Term Rewriting Systems (TRSs). Only its variant with finite sets of labels was used so far i...
Adam Koprowski, Hans Zantema
ICML
2009
IEEE
16 years 1 months ago
Learning linear dynamical systems without sequence information
Virtually all methods of learning dynamic systems from data start from the same basic assumption: that the learning algorithm will be provided with a sequence, or trajectory, of d...
Tzu-Kuo Huang, Jeff Schneider
ASWEC
2008
IEEE
16 years 1 months ago
A Survey of Policy-Based Management Approaches for Service Oriented Systems
Policy based management in Service Oriented Architecture (SOA) allows organizations to apply rules and regulations on their business processes. Policy has long been employed in th...
Tan Phan, Jun Han, Jean-Guy Schneider, Tim Ebringe...
HICSS
2008
IEEE
89views Biometrics» more  HICSS 2008»
16 years 1 months ago
Reference Models and Modeling Languages for Product-Service Systems - Status-Quo and Perspectives for Further Research
Being confronted with decreasing margins and a rising customer demand for integrated solutions, manufacturing companies integrate complementary services into their portfolio. Offe...
Jörg Becker, Daniel Beverungen, Ralf Knackste...