1076 search results - page 97 / 216 » Operations on proofs and labels |
103
Voted
ZUM
2000
Springer
15 years 4 months ago
2000
Springer
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...
96
Voted
LISA
2007
15 years 3 months ago
2007
Network patterns are based on generic algorithms that execute on tree-based overlays. A set of such patterns has been developed at KTH to support distributed monitoring in network...
112
Voted
ICASSP
2010
IEEE
15 years 26 days ago
2010
IEEE
The problem of minimizing the rank of a matrix subject to linear equality constraints arises in applications in machine learning, dimensionality reduction, and control theory, and...
113
Voted
JGO
2008
15 years 19 days ago
2008
When dealing with convex functions defined on a normed vector space X the biconjugate is usually considered with respect to the dual system (X, X ), that is, as a function defined...
88
Voted
AUTOMATICA
2007
15 years 15 days ago
2007
High level control of dynamic positioning systems on marine vessels using hybrid controller are developed to extend the operational weather window for marine operations to harsh e...