Sciweavers

939 search results - page 128 / 188
» Semantic Abstraction and Quantum Computation
Sort
View
PSLS
1995
15 years 9 months ago
Lazy Remote Procedure Call and its Implementation in a Parallel Variant of C
Abstract. Lazy task creation (LTC) is an e cient approach for executing divide and conquer parallel programs that has been used in the implementation of Multilisp's future con...
Marc Feeley
AMW
2010
15 years 7 months ago
Updating ABoxes in DL-Lite
Abstract. We study the problem of instance level (ABox) updates for Knowledge Bases (KBs) represented in Description Logics of the DL-Lite family. DLLite is at the basis of OWL 2 Q...
Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Dm...
BIRTHDAY
2010
Springer
15 years 7 months ago
On the Power of Play-Out for Scenario-Based Programs
Abstract. We investigate the power of play-out, the execution mechanism associated with scenario-based programming, which was defined as the operational semantics of live sequence ...
David Harel, Amir Kantor, Shahar Maoz
GI
2009
Springer
15 years 3 months ago
Content-sensitive User Interfaces for Annotated Web Pages
Abstract: By means of RDFa it is possible to embed semantic meaning into standard XHTML web pages. Using the meaning, we provide content-sensitive user interfaces for web pages int...
Florian Schmedding
COMSIS
2010
15 years 3 months ago
An accelerometer-based gesture recognition algorithm and its application for 3D interaction
Abstract. This paper proposes an accelerometer-based gesture recognition algorithm. As a pre-process procedure, raw data output by accelerometer should be quantized, and then use d...
Jianfeng Liu, Zhigeng Pan, Xiangcheng Li