12 search results - page 1 / 3 » KRHyper - In Your Pocket |
CADE
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
DEBU
1998
13 years 4 months ago
1998
The amount of information available online has grown enormously over the past decade. Fortunately, computing power, disk capacity, and network bandwidth have also increased dramat...
CLOUDCOM
2010
Springer
13 years 1 months ago
2010
Springer
The advancements in computing have resulted in a boom of cheap, ubiquitous, connected mobile devices as well as seemingly unlimited, utility style, pay as you go computing resourc...
WWW
2011
ACM
12 years 11 months ago
2011
ACM
Abstract. As comparatively powerful mobile computing devices are becoming more common, mobile web applications have started gaining in popularity. In this paper we present an appro...
ICDE
2011
IEEE
12 years 8 months ago
2011
IEEE