545 search results - page 27 / 109 » Recursive logic frames |
172
click to vote
TLDI
2010
ACM
15 years 4 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 ...
148
click to vote
ICIP
1995
IEEE
16 years 5 months 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...
137
click to vote
ISCAS
2005
IEEE
15 years 10 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...
136
click to vote
AIML
2006
15 years 5 months 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...
133
click to vote
SLOGICA
2008
15 years 2 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...