2909 search results - page 331 / 582 » Consistency of the theory of contexts |
148
click to vote
IJCINI
2007
15 years 6 months ago
2007
Language is primarily a physical, and more particularly a biological phenomenon. To say that it is primarily so is to say that that is how, in the first instance, it presents itse...
141
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
This research examines the privacy comfort levels of participants if others can view traces of their web browsing activity. During a week-long field study, participants used an el...
171
click to vote
CEAS
2005
Springer
16 years 6 days ago
2005
Springer
Greylisting temporarily rejects mail from unknown sources on the theory that real mailers will retry while spamware won’t. I outline a taxonomy of greylisters and report some st...
180
click to vote
TLCA
2005
Springer
16 years 4 days ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
187
click to vote
KR
1998
Springer
15 years 11 months ago
1998
Springer
A theory is elaboration tolerant to the extent that new information can be incorporated with only simple changes. The simplest change is conjoining new information, and only conju...