Sciweavers

1856 search results - page 326 / 372
» Formal Dialectic Specification
Sort
View
IJACTAICIT
2010
146views more  IJACTAICIT 2010»
15 years 1 months ago
Modeling and Simulation of a Pervasive Multimodal Multimedia Computing System for Visually-Impaired Users
Using multimodality in a computing system is advantageous in the sense that it makes computing more accessible to a wide range of users including those with impairments. Our work ...
Ali Awde, Moeiz Miraoui, Chakib Tadj, Yacine Belli...
JWSR
2011
149views more  JWSR 2011»
14 years 10 months ago
Mediation Spaces for Similarity-Based Semantic Web Services Selection
: Semantic Web Services (SWS) aim at the automated discovery, selection and orchestration of Web services on the basis of comprehensive, machine-interpretable semantic descriptions...
Stefan Dietze, Alessio Gugliotta, John Domingue, M...
JMLR
2010
136views more  JMLR 2010»
14 years 10 months ago
Predicting the functions of proteins in Protein-Protein Interaction networks from global information
In this work we present a novel approach to predict the function of proteins in protein-protein interaction (PPI) networks. We classify existing approaches into inductive and tran...
Hossein Rahmani, Hendrik Blockeel, Andreas Bender
ICDE
2011
IEEE
238views Database» more  ICDE 2011»
14 years 7 months ago
Join queries on uncertain data: Semantics and efficient processing
— Uncertain data is quite common nowadays in a variety of modern database applications. At the same time, the join operation is one of the most important but expensive operations...
Tingjian Ge
POPL
2009
ACM
16 years 4 months ago
The semantics of progress in lock-based transactional memory
Transactional memory (TM) is a promising paradigm for concurrent programming. Whereas the number of TM implementations is growing, however, little research has been conducted to p...
Rachid Guerraoui, Michal Kapalka