Sciweavers

3166 search results - page 325 / 634
» Translation By Structural Correspondences
Sort
View
AIHC
2007
Springer
16 years 29 days ago
SmartWeb Handheld - Multimodal Interaction with Ontological Knowledge Bases and Semantic Web Services
SMARTWEB aims to provide intuitive multimodal access to a rich selection of Web-based information services. We report on the current prototype with a smartphone client interface t...
Daniel Sonntag, Ralf Engel, Gerd Herzog, Alexander...
181
Voted
ESOP
2007
Springer
16 years 29 days ago
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...
Maria Grazia Buscemi, Ugo Montanari
FOSSACS
2007
Springer
16 years 29 days ago
On the Expressiveness and Complexity of ATL
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
François Laroussinie, Nicolas Markey, Ghass...
ICDE
2006
IEEE
208views Database» more  ICDE 2006»
16 years 25 days ago
Integrating Databases into the Semantic Web through an Ontology-Based Framework
To realize the Semantic Web, it will be necessary to make existing database content available for emerging Semantic Web applications, such as web agents and services, which use on...
Dejing Dou, Paea LePendu, Shiwoong Kim, Peishen Qi
ICADL
2005
Springer
110views Education» more  ICADL 2005»
16 years 9 days ago
A Hybrid Information Retrieval Model Using Metadata and Text
Metadata IR model has high precision and low recall because the query in Metadata IR model is strict that is, the query can express user information need exactly, while Full-text I...
Sung Kim, Sung Myaeng, Jeong-Mok Yoo