4047 search results - page 217 / 810 » Some Properties and Some Problems on Set Functors |
154
click to vote
FROCOS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
159
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
We address the issue of regularizing Osher and Rudin's shock filter, used for image deblurring, in order to allow processes that are more robust against noise. Previous soluti...
166
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
Motivational attitudes play an important role in investigations into intelligent agents. One of the key problems of representing and reasoning about motivational attitudes is whic...
184
click to vote
IAT
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Developing autonomous systems that patrol environments for detecting intruders is a topic of increasing relevance in security applications. An important aspect of these ...
174
click to vote
WCE
2007
15 years 7 months ago
2007
—Digital watermarking is a technique for protecting intellectual property of digital information. However, when a work is created by multiple authors, digital watermarking may su...