1353 search results - page 183 / 271 » Streamlined Constraint Reasoning |
119
click to vote
FROCOS
2009
Springer
15 years 4 months ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...
HASE
2008
IEEE
15 years 4 months ago
2008
IEEE
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...
ICMCS
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper proposes a novel approach to exploit the ontological relationship of visual words by linguistic reasoning. A visual word ontology is constructed to facilitate the rigor...
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
—Recharging the batteries of a moribund sensor deployed as part of a wireless sensor network is often infeasible due to logistical considerations. With the purpose of prolonging ...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— In this paper we analyze the performance of multiple relay channels when multiple antennas are deployed only at relays. Specifically, we investigate the simple repetit...