Sciweavers

8810 search results - page 400 / 1762
» Openness
Sort
View
ASWC
2009
Springer
16 years 1 months ago
Querying the Web of Data: A Formal Approach
Abstract. The increasing amount of interlinked RDF data has finally made available the necessary building blocks for the web of data. This in turns makes it possible (and interest...
Paolo Bouquet, Chiara Ghidini, Luciano Serafini
VW
2009
Springer
130views Virtual Reality» more  VW 2009»
16 years 1 months ago
The Conditions of Permeability: How Shared Cyberworlds Turn into Laboratories of Possible Worlds
— Numerous simultaneous paths open in front of the cybernaut, whose person is reflected in the various windows opened on the screen like many fragments of mirror. Yet, the fragme...
Caterina Desiato
WOLLIC
2009
Springer
16 years 1 months ago
Team Logic and Second-Order Logic
Team logic is a new logic, introduced by Väänänen [11], extending dependence logic by classical negation. Dependence logic adds to first-order logic atomic formulas expressing...
Juha Kontinen, Ville Nurmi
ISSAC
2009
Springer
149views Mathematics» more  ISSAC 2009»
16 years 1 months ago
Interoperating between computer algebra systems: computing homology of groups with kenzo and GAP
In this paper we report on an experience communicating two computer algebra systems, namely GAP (and more concretely, its HAP package to compute in Homological Algebra) and Kenzo ...
Ana Romero, Graham Ellis, Julio Rubio
WIKIS
2009
ACM
16 years 1 months ago
Wiki credibility enhancement
Wikipedia has been very successful as an open encyclopedia which is editable by anybody. However, the anonymous nature of Wikipedia means that readers may have less trust since th...
Felix Halim, Yongzheng Wu, Roland H. C. Yap