1716 search results - page 253 / 344 » Proving Conditional Termination |
145
click to vote
DCC
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper presents a proof of the rate distortion function of a Poisson process with a queuing distortion measure that is in complete analogy with the proofs associated with the ...
108
Voted
ICCAD
2002
IEEE
16 years 7 days ago
2002
IEEE
Within the verification community, there has been a recent increase in interest in Quantified Boolean Formula evaluation (QBF) as many interesting sequential circuit verification ...
136
Voted
ACHI
2009
IEEE
15 years 10 months ago
2009
IEEE
— As cameras and storage devices have become cheaper, the number of video surveillance systems has also increased. Video surveillance was (and mostly is) done by human operators ...
123
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
This paper proposes 2G, a flexible and energy-efficient data collection protocol for sensor networks for increasing network lifetime. To this end, it integrates self-organizing d...
112
Voted
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities ...