1076 search results - page 97 / 216 » Operations on proofs and labels |
ZUM
2000
Springer
14 years 1 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 ...
LISA
2007
14 years 12 days 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...
ICASSP
2010
IEEE
13 years 10 months 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...
JGO
2008
13 years 10 months 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...
AUTOMATICA
2007
13 years 10 months 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...