4502 search results - page 610 / 901 » Regular Model Checking |
199
click to vote
ICIP
2005
IEEE
16 years 8 days ago
2005
IEEE
In this paper, we propose a novel technique to represent and recover optical flow through free form deformations. Such a technique is based on representing the motion field usin...
207
click to vote
LICS
2005
IEEE
16 years 7 days ago
2005
IEEE
Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...
145
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
Many multi-agent systems seek to reconcile two apparently inconsistent constraints. The system’s overall objective is defined at a global level. However, the agents have only lo...
130
click to vote
BIRTHDAY
2004
Springer
16 years 2 days ago
2004
Springer
We consider the result of a wet splicing procedure after the reaction has run to its completion, or limit, and we try to describe the molecules that will be present at this final ...
200
click to vote
FC
2004
Springer
16 years 2 days ago
2004
Springer
Chameleon signatures are non-interactive signatures based on a hash-and-sign paradigm, and similar in efficiency to regular signatures. The distinguishing characteristic of chamel...