9626 search results - page 289 / 1926 » Invariant Based Programming |
166
click to vote
JAR
2008
15 years 6 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
143
click to vote
ICASSP
2011
IEEE
2011
IEEE
Transmit beamspace design for direction finding in colocated MIMO radar with arbitrary receive array
14 years 10 months ago
The transmit beamspace design problem for colocated multiple-input multiple-output (MIMO) radar is considered. We show that the MIMO radar transmit beampattern can be designed so ...
198
click to vote
JAR
2006
15 years 6 months ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
188
click to vote
BMVC
2010
15 years 4 months ago
2010
The paper proposes a new method to perform foreground detection by means of background modeling using the tensor concept. Sometimes, statistical modelling directly on image values...
296
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...