2314 search results - page 216 / 463 » Monoids over domains |
186
click to vote
STACS
2000
Springer
15 years 10 months ago
2000
Springer
We investigate self-testing programs with relative error by allowing error terms proportional to the function to be computed. Until now, in numerical computation, error terms were ...
171
click to vote
CONCUR
1995
Springer
15 years 10 months ago
1995
Springer
We develop a theory of bisimulation equivalence for the broadcast calculus CBS. Both the strong and weak versions of bisimulation congruence we study are justi ed in terms of a cha...
198
click to vote
WFLP
2000
Springer
15 years 10 months ago
2000
Springer
We describe the current status of the development of CFLP, a system which aims at the integration of the best features of functional logic programming (FLP), cooperative constrain...
218
click to vote
AAAI
2008
15 years 9 months ago
2008
With recent advances in motion detection and tracking in video, more efforts are being directed at higher-level video analysis such as recognizing actions, events and activities. ...
172
click to vote
FLAIRS
2007
15 years 9 months ago
2007
Much work has been done in the area of qualitative spatial reasoning over the past years, with application in various domains. However, existing models only capture particular asp...