1818 search results - page 218 / 364 » Granularity-Adaptive Proof Presentation |
136
click to vote
FMICS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
138
click to vote
DAIS
2009
15 years 4 months ago
2009
Abstract. The recent approval of the EU Services Directive is fostering the Internet of Services (IoS) and will promote the emergence of marketplaces for business and real-world se...
158
click to vote
ICML
2010
IEEE
15 years 4 months ago
2010
IEEE
A sparse representation of Support Vector Machines (SVMs) with respect to input features is desirable for many applications. In this paper, by introducing a 0-1 control variable t...
115
click to vote
AUTOMATICA
2008
15 years 3 months ago
2008
This paper presents Lyapunov functions for proving stability of steady gliding motions for vehicles with hydrodynamic or aerodynamic forces and moments. Because of lifting forces ...
145
click to vote
AUTOMATICA
2007
15 years 3 months ago
2007
This paper presents a new (geometrical) approach to the computation of polyhedral (robustly) positively invariant (PI) sets for general (possibly discontinuous) nonlinear discrete...