2891 search results - page 446 / 579 » More or Less Elaborate |
160
click to vote
KR
2000
Springer
15 years 9 months ago
2000
Springer
We explore the possibility of a logic where a conclusion substantially improves over its premise(s): Specifically, we intend to rule out inference steps such that the premise conv...
160
click to vote
SIGLEX
1991
15 years 9 months ago
1991
This paper argues for a two-level theory of semantics as opposed to a one-level theory, based on the example of the system of temporal and durationM connectives. Instead of identi...
153
click to vote
MOBISYS
2010
ACM
15 years 8 months ago
2010
ACM
Many emerging smartphone applications require position information to provide location-based or context-aware services. In these applications, GPS is often preferred over its alte...
187
click to vote
USS
2008
15 years 8 months ago
2008
The Tor anonymisation network allows services, such as web servers, to be operated under a pseudonym. In previous work Murdoch described a novel attack to reveal such hidden servi...
165
click to vote
CEAS
2008
Springer
15 years 8 months ago
2008
Springer
We believe this paper is the first extensive user-study of whitelisting email addresses. While whitelists are common in social networking and instant messaging (e.g., buddylists),...