Sciweavers

1894 search results - page 65 / 379
» Towards Mobile Reasoning
Sort
View
TPHOL
1991
IEEE
15 years 3 months ago
First Steps Towards Automating Hardware Proofs in HOL
D ABSTRACT) Ramayya Kumar, Thomas Kropf, Klaus Schneider University of Karlsruhe,Institute of ComputerDesign and Fault Tolerance (Prof.Dr.D. Schmid) P.O. Box 6980, W-7500 Karlsruhe...
Ramayya Kumar, Thomas Kropf, Klaus Schneider
RC
2006
46views more  RC 2006»
14 years 11 months ago
Towards Optimal Use of Multi-Precision Arithmetic: A Remark
If standard-precision computations do not lead to the desired accuracy, then it is reasonable to increase precision until we reach this accuracy. What is the optimal way of increa...
Vladik Kreinovich, Siegfried M. Rump
ICC
2007
IEEE
193views Communications» more  ICC 2007»
15 years 6 months ago
A Semantic Context Model for Location-Based Cooperative Mobile Computing
—This paper addresses context issues in pervasive mobile computing and presents a semantic context model to support location based cooperative mobile applications. In this paper,...
Bin Hu, Philip Moore, Hsiai-Hwa Chen
ECIS
2004
15 years 1 months ago
Mobilizing medical information and knowledge: some insights from a survey
The mobile medical information system investigated in the study is developed for mobilizing medical information and knowledge and for matching physicians' multiple needs, inc...
Shengnan Han, Ville Harkke, Pekka Mustonen, Matti ...
HICSS
1999
IEEE
112views Biometrics» more  HICSS 1999»
15 years 4 months ago
The Interoperability Problem: Bringing together Mobile Agents and Agent Communication Languages
Interoperability is a central issue for both the mobile agents community and the wider agents community. Unfortunately, the interoperability concerns are different between the two...
Yannis Labrou, Timothy W. Finin, Yun Peng