2742 search results - page 459 / 549 » Deriving Category Theory from Type Theory |
MMSEC
2006
ACM
14 years 2 months ago
2006
ACM
In this paper, we introduce to the special domain of image annotation watermarking, based on embedding of hierarchical data related to objects into user-selected areas on an image...
PAMI
2007
13 years 8 months ago
2007
—With the rapid development of the World Wide Web, people benefit more and more from the sharing of information. However, Web pages with obscene, harmful, or illegal content can ...
HRI
2011
ACM
13 years 11 days ago
2011
ACM
To seamlessly integrate into the human physical and social environment, robots must display appropriate proxemic behavior—that is, follow societal norms in establishing their ph...
CIKM
2011
Springer
12 years 8 months ago
2011
Springer
Today, a number of algorithms exist for constructing tag hierarchies from social tagging data. While these algorithms were designed with ontological goals in mind, we know very li...
SLOGICA
2008
13 years 8 months ago
2008
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis ...