1045 search results - page 74 / 209 » The Use of Exceptions |
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— This paper proposes distributed control laws for maintaining the shape of a formation of mobile autonomous agents in the plane for which the desired shape is defined in terms ...
ICC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— We present an analytical study on the error performance of differential unitary space-time modulation (DUSTM) over multiple-input multiple-output (MIMO) channels with n...
KBSE
2008
IEEE
14 years 2 months ago
2008
IEEE
The reasons why software is changed are manyfold; new features are added, bugs have to be fixed, or the consistency of coding rules has to be re-established. Since there are many...
ICMCS
2007
IEEE
14 years 2 months ago
2007
IEEE
Individual learning capabilities can vary from gifted to exceptionally slow; some students may take longer to understand a concept and may not be able to achieve the expected stan...