Sciweavers

4266 search results - page 740 / 854
» A Framework for Defining Logics
Sort
View
SEMWEB
2010
Springer
15 years 4 months ago
Fusion - Visually Exploring and Eliciting Relationships in Linked Data
Building applications over Linked Data often requires a mapping between the application model and the ontology underlying the source dataset in the Linked Data cloud. This mapping ...
Samur Araújo, Geert-Jan Houben, Daniel Schw...
TRIDENTCOM
2010
IEEE
15 years 4 months ago
Towards Maximizing Wireless Testbed Utilization Using Spectrum Slicing
As experimentation becomes one of the de-facto approaches for benchmarking, researchers are turning to testbeds to test, review and verify their work. As a result, several research...
Angelos-Christos Anadiotis, Apostolos Apostolaras,...
WINE
2010
Springer
144views Economy» more  WINE 2010»
15 years 4 months ago
An Axiomatic Characterization of Continuous-Outcome Market Makers
Abstract. Most existing market maker mechanisms for prediction markets are designed for events with a finite number of outcomes. All known attempts on designing market makers for f...
Xi Alice Gao, Yiling Chen
CLEF
2009
Springer
15 years 4 months ago
Overview of the CLEF 2009 Medical Image Annotation Track
This paper describe the last round of the medical image annotation task in ImageCLEF 2009. After four years, we defined the task as a survey of all the past experience. Seven grou...
Tatiana Tommasi, Barbara Caputo, Petra Welter, Mar...
CSE
2009
IEEE
15 years 4 months ago
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures
Abstract--A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of a...
Michele Barletta, Silvio Ranise, Luca Viganò...