Sciweavers

2173 search results - page 291 / 435
» An operational semantics for skeletons
Sort
View
ECML
2007
Springer
15 years 7 months ago
Exploiting Term, Predicate, and Feature Taxonomies in Propositionalization and Propositional Rule Learning
Knowledge representations using semantic web technologies often provide information which translates to explicit term and predicate taxonomies in relational learning. We show how t...
Monika Záková, Filip Zelezný
112
Voted
ECTEL
2007
Springer
15 years 7 months ago
An Ontology based Web Annotation System to Create New Learning Practices
Web2.0 is a conceptual framework that aims at enhancing the World Wide Web with semantic and social functionnalities. For this framework to fully develop, there is a need for concr...
Christophe Piombo, Hadj Batatia, Pascal Dayre, Ala...
94
Voted
ICDT
2007
ACM
90views Database» more  ICDT 2007»
15 years 7 months ago
On the Expressiveness of Implicit Provenance in Query and Update Languages
Abstract. Information concerning the origin of data (that is, its provenance) is important in many areas, especially scientific recordkeeping. Currently, provenance information mu...
Peter Buneman, James Cheney, Stijn Vansummeren
LFCS
2007
Springer
15 years 7 months ago
A Temporal Dynamic Logic for Verifying Hybrid System Invariants
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
André Platzer
103
Voted
OTM
2007
Springer
15 years 7 months ago
The OpenKnowledge System: An Interaction-Centered Approach to Knowledge Sharing
The information that is made available through the semantic web will be accessed through complex programs (web-services, sensors, etc.) that may interact in sophisticated ways. Com...
Ronny Siebes, David Dupplaw, Spyros Kotoulas, Adri...