Sciweavers

3922 search results - page 241 / 785
» Working Models for Uncertain Data
Sort
View
126
Voted
PPDP
2010
Springer
15 years 3 months ago
Functional derivation of a virtual machine for delimited continuations
This paper connects the definitional interpreter for the λ-calculus extended with delimited continuation constructs, shift and reset, with a compiler and a low-level virtual mac...
Kenichi Asai, Arisa Kitani
VL
2009
IEEE
142views Visual Languages» more  VL 2009»
15 years 11 months ago
Using a degree of interest model to facilitate ontology navigation
Understanding and maintaining the structure of large ontologies is a cognitively demanding task. Visualizations are commonly used as a cognitive aid for presenting large ontologie...
Tricia d'Entremont, Margaret-Anne Storey
ICAS
2008
IEEE
201views Robotics» more  ICAS 2008»
15 years 11 months ago
Distributed Reasoning for Context-Aware Services through Design of an OWL Meta-Model
Abstract—A growing number of applications start using Semantic Web technologies. The base concept in this technology is the use of ontologies, allowing first-order logic reasoni...
Stijn Verstichel, Matthias Strobbe, Pieter Simoens...
129
Voted
EMISA
2004
Springer
15 years 10 months ago
On the Modeling of Correct Service Flows with BPEL4WS
: Frameworks for composing Web Services offer a promising approach for realizing enterprise-wide and cross-organizational business applications. With BPEL4WS a powerful composition...
Manfred Reichert, Stefanie Rinderle, Peter Dadam
140
Voted
EDBT
2010
ACM
180views Database» more  EDBT 2010»
15 years 9 months ago
k-symmetry model for identity anonymization in social networks
With more and more social network data being released, protecting the sensitive information within social networks from leakage has become an important concern of publishers. Adve...
Wentao Wu, Yanghua Xiao, Wei Wang, Zhenying He, Zh...