1737 search results - page 327 / 348 » On Interpolation in Existence Logics |
208
click to vote
NORDICHI
2004
ACM
15 years 11 months ago
2004
ACM
One vision of a context-aware pervasive networking environment promises the user a seamless access to surrounding services using her personal mobile device. This requires that the...
175
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
In this paper we present an approach for developing adaptable software applications. The problem we are facing is that of a (possibly mobile) user who wants to download and execut...
196
click to vote
SIGCOMM
2004
ACM
15 years 11 months ago
2004
ACM
Name services are critical for mapping logical resource names to physical resources in large-scale distributed systems. The Domain Name System (DNS) used on the Internet, however,...
197
click to vote
WWW
2004
ACM
15 years 11 months ago
2004
ACM
An increasingly large amount of such applications employ service objects such as Servlets to generate dynamic and personalized content. Existing caching infrastructures are not we...
160
click to vote
MKM
2004
Springer
15 years 11 months ago
2004
Springer
This paper reports on refinements and extensions to the MathLang framework that add substantial support for natural language text. We show how the extended framework supports mult...