3742 search results - page 101 / 749 » On the Use of Formal Techniques for Validation |
168
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...
158
click to vote
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, a de-interlacing technique using motion compensated interpolation is proposed. In the proposed scheme motion estimation is first performed between the same parity f...
182
click to vote
COR
2011
15 years 1 months ago
2011
The purpose of this paper is twofold. First, it explores the issue of producing valid, compact round-robin sports schedules by considering the problem as one of graph colouring. U...
161
click to vote
ICRA
2005
IEEE
15 years 12 months ago
2005
IEEE
— This paper proposes an approach to robust state estimation for mobile robots with intermittent dynamics. The approach consists of identifying the robot’s mode of operation by...
146
click to vote
VRST
1999
ACM
15 years 10 months ago
1999
ACM
As immersive virtual environment (VE) applications become more complex, it is clear that we need a rm understanding of the principles of VE interaction. In particular, designers n...