2765 search results - page 264 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
219
click to vote
EAGC
2003
Springer
15 years 12 months ago
2003
Springer
The complexity of Grid environments is growing as more projects and applications appear in this quick-evolving domain. Widespread applications are distributed over thousands of com...
224
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
Optical flow estimation is a fundamental and ill-posed problem in computer vision. To recover a dense flow field, appropriate spatial constraints have to be enforced. Recent ad...
170
click to vote
ICALP
2004
Springer
16 years 4 days ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
191
click to vote
LPNMR
2005
Springer
16 years 7 days ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...
175
click to vote
ICMCS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract--In this paper, a procedure is described for the segmentation, content-based coding, and visualization of videoconference image sequences. First, image sequence analysis i...