545 search results - page 27 / 109 » Recursive logic frames |
127
click to vote
TLDI
2010
ACM
14 years 11 months ago
2010
ACM
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
103
click to vote
ICIP
1995
IEEE
16 years 29 days ago
1995
IEEE
We derive a six parameter system to estimate and compensate the effects of camera motion - zoom, pan, tilt and swing. As compared to other existing methods, this model describes m...
ISCAS
2005
IEEE
15 years 5 months ago
2005
IEEE
—In this paper, a new error concealment algorithm by recursive motion vector refinement is proposed. The proposed method utilizes the top/bottom motion vectors of lost MB in curr...
AIML
2006
15 years 28 days ago
2006
In [9] we developed a semantics for quantified relevant logic that uses general frames. In this paper, we adapt that model theory to treat quantified modal logics, giving a complet...
SLOGICA
2008
14 years 10 months ago
2008
We consider the decision problem for cases of first-order temporal logic with function symbols and without equality. The monadic monodic fragment with flexible functions can be dec...