3706 search results - page 285 / 742 » OntoComP System Description |
167
click to vote
CADE
2005
Springer
16 years 2 days 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...
147
click to vote
ICCS
2005
Springer
16 years 1 days ago
2005
Springer
We define the concepts of nesting mode and interaction mode as they arise in the description of skeletal parallel programming systems. We suggest that these new concepts encapsula...
194
click to vote
MDM
2004
Springer
15 years 12 months ago
2004
Springer
This paper discusses the problem of content adaptation for mobile devices. The adaptation considers the context of the client and also the environment where the client request is ...
153
click to vote
MHCI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper introduces a prototype of a distributed user interface (DUI) on dual devices, a workstation and a Windows Mobilepowered smartphone. By porting the XML-complian...
140
click to vote
SAMOS
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a novel micro-architecture for high-performance and low-power DSPs. The underlying Synchronous Transfer Architecture (STA) fills the gap between SIMD-DSPs and ...