Sciweavers

3827 search results - page 647 / 766
» The Epsilon Generation Language
Sort
View
FM
2003
Springer
169views Formal Methods» more  FM 2003»
14 years 3 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
ICADL
2003
Springer
107views Education» more  ICADL 2003»
14 years 3 months ago
A Multimedia Digital Library System Based on MPEG-7 and XQuery
We designed and implemented a digital library system that supports content-based retrieval of multimedia objects based on MPEG-7 and XQuery. MPEG-7, a metadata standard for multim...
Mann-Ho Lee, Ji-Hoon Kang, Sung-Hyon Myaeng, Soon ...
ICALP
2003
Springer
14 years 3 months ago
Analysis of a Simple Evolutionary Algorithm for Minimization in Euclidean Spaces
Although evolutionary algorithms (EAs) are widely used in practical optimization, their theoretical analysis is still in its infancy. Up to now results on the (expected) runtime ar...
Jens Jägersküpper
UM
2010
Springer
14 years 3 months ago
Task-Based User Modelling for Knowledge Work Support
A Knowledge Worker (KW) uses her computer to perform different tasks for which she gathers and uses information from disparate sources such as the Web and e-mail, and creates new ...
Charlie Abela, Chris Staff, Siegfried Handschuh
3DPVT
2002
IEEE
186views Visualization» more  3DPVT 2002»
14 years 3 months ago
A Gesture Recognition System Using 3D Data
In this paper a gesture recognition system using 3D data is described. The system relies on a novel 3D sensor that generates a dense range image of the scene. The main novelty of ...
Sotiris Malassiotis, Niki Aifanti, Michael G. Stri...