2107 search results - page 66 / 422 » b 2007 |
ENTCS
2007
13 years 10 months ago
2007
The event B method provides a general framework for modelling both data structures and algorithms. B models are validated by discharging proof obligations ensuring safety properti...
LSSC
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. The purpose of this paper is to comment a frequent observation by the engineers studying acoustic scattering. It is related to the convergence of the GMRES method when so...
SCOPES
2007
Springer
14 years 4 months ago
2007
Springer
AUTOMATICA
2007
13 years 10 months ago
2007
The problem of assigning structural properties of a linear system through sensor selection is, for a given pair (A, B), to find an output pair (C, D) such that the resulting syst...
DOCENG
2007
ACM
14 years 1 months ago
2007
ACM
The Portable Document Format (PDF) is a page-oriented, graphically rich document format based on PostScript semantics. It is the file format underlying the Adobe