2742 search results - page 335 / 549 » Deriving Category Theory from Type Theory |
PADL
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
IAT
2007
IEEE
14 years 3 months ago
2007
IEEE
Instead of aiming at the augmentation of human communication abilities as other social software does, social network services (SNS) provide better chances for people to enhance th...
CIG
2006
IEEE
14 years 3 months ago
2006
IEEE
— People play games for fun. Yet we are lacking a fundamental understanding of what fun is and how fun works in games and other media. For example, why do thousands of people spe...
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE
Geographic information technologies (GIT) have the potential to integrate information among multiple organizations. In fact, some of the most impressive advantages of using geo-sp...
ISSTA
2006
ACM
14 years 3 months ago
2006
ACM
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...