1894 search results - page 10 / 379 » Towards Mobile Reasoning |
CADE
2005
Springer
15 years 3 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...
RWEB
2005
Springer
15 years 2 months ago
2005
Springer
LPNMR
2004
Springer
15 years 2 months ago
2004
Springer
ECRA
2006
14 years 9 months ago
2006
As the mobile technologies and services are in constant evolution, many speculate on whether or not mobile payments will be a killer application for mobile commerce. To have a bet...
TIME
2003
IEEE
15 years 2 months ago
2003
IEEE
