315 search results - page 38 / 63 » Homing and Synchronizing Sequences |
ICIP
2002
IEEE
15 years 17 days ago
2002
IEEE
This paper discusses technique used for construction of highresolution image mosaic from a video sequence and the synchronously logged camera attitude information. It allows one t...
ICIAP
2007
ACM
14 years 11 months ago
2007
ACM
We address the synchronization of a pair of video sequences captured from moving vehicles and the spatial registration of all the temporally corresponding frames. This is necessar...
TACAS
2010
Springer
14 years 6 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
STACS
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. A cellular automaton is a parallel synchronous computing model, which consists in a juxtaposition of finite automata whose state evolves according to that of their neigh...
CSFW
2009
IEEE
14 years 5 months ago
2009
IEEE
Cryptographic protocols are crucial for securing electronic transactions. The confidence in these protocols can be increased by the formal analysis of their security properties. ...