Sciweavers

6651 search results - page 369 / 1331
» Translating Web Data
Sort
View
ESWS
2010
Springer
15 years 3 months ago
Modeling and Querying Metadata in the Semantic Sensor Web: The Model stRDF and the Query Language stSPARQL
Abstract. RDF will often be the metadata model of choice in the Semantic Sensor Web. However, RDF can only represent thematic metadata and needs to be extended if we want to model ...
Manolis Koubarakis, Kostis Kyzirakos
SCCC
2008
IEEE
15 years 11 months ago
Hardware Synthesis for Asynchronous Communications Mechanisms
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In this work an automatic meth...
Kyller Costa Gorgônio, Jordi Cortadella
ENTCS
2006
109views more  ENTCS 2006»
15 years 4 months ago
Specifications via Realizability
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
Andrej Bauer, Christopher A. Stone
JMLR
2010
100views more  JMLR 2010»
14 years 11 months ago
Parametric Herding
A parametric version of herding is formulated. The nonlinear mapping between consecutive time slices is learned by a form of self-supervised training. The resulting dynamical syst...
Yutian Chen, Max Welling
SDM
2011
SIAM
203views Data Mining» more  SDM 2011»
14 years 7 months ago
Interpreting and Unifying Outlier Scores
Outlier scores provided by different outlier models differ widely in their meaning, range, and contrast between different outlier models and, hence, are not easily comparable o...
Hans-Peter Kriegel, Peer Kröger, Erich Schube...