Sciweavers

5128 search results - page 350 / 1026
» When Abstraction Fails
Sort
View
GI
2009
Springer
15 years 10 months ago
Planning Teams with Semantic Web Technologies
Abstract: When planning teams for projects with specific goals, employees of a company have to group together so well, that all necessary knowledge for conquering the project’s ...
Susanne Richter, Robert Tolksdorf
GLOBECOM
2009
IEEE
15 years 10 months ago
A Game Theoretic Analysis of Blacklisting in Online Data Storage Systems
Abstract—In this paper, we investigate the problem of online data sharing on social networks from a game theoretic framework. We introduce blacklisting as trigger strategy to eli...
Bader Ali, Muthucumaru Maheswaran
DLOG
2008
15 years 10 months ago
A Hybrid Tableau Algorithm for ALCQ
Abstract. We propose an approach for extending a tableau-based satisfiability algorithm by an arithmetic component. The result is a hybrid satisfiability algorithm for the Descript...
Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev,...
CIARP
2008
Springer
15 years 9 months ago
Pattern Recognition Methods for Querying and Browsing Technical Documentation
Abstract. Graphics recognition deals with the specific pattern recognition problems found in graphics-rich documents, typical technical documentation of all kinds. In this paper, w...
Karl Tombre, Bart Lamiroy
CMSB
2008
Springer
15 years 9 months ago
Compositional Definitions of Minimal Flows in Petri Nets
Abstract. This paper gives algebraic definitions for obtaining the minimal transition and place flows of a modular Petri net from the minimal transition and place flows of its comp...
Michael Pedersen