Sciweavers

3564 search results - page 356 / 713
» Evaluating a Formal Modelling Language
Sort
View
SBCCI
2003
ACM
113views VLSI» more  SBCCI 2003»
15 years 9 months ago
Tangram - Virtual Integration of Heterogeneous IP Components in a Distributed Co-Simulation Environment
IP reuse is essential in embedded SoC design. IP components may be described in different modeling languages and present heterogeneous interfaces. The Tangram environment supports...
Uilian Rafael Feijo Souza, Josue Klafke Sperb, Bra...
ACL
2003
15 years 5 months ago
Probabilistic Text Structuring: Experiments with Sentence Ordering
Ordering information is a critical task for natural language generation applications. In this paper we propose an approach to information ordering that is particularly suited for ...
Mirella Lapata
IFIP
2009
Springer
15 years 9 months ago
An Algebra for Trust Dilution and Trust Fusion
Trust dilution and trust fusion are two operators that are used to calculate transitive trust in a trust network. Various implementations of these operators already exist but are n...
Baptiste Alcalde, Sjouke Mauw
CAISE
2006
Springer
15 years 8 months ago
Describing Interoperability: the OoI Ontology
Abstract. Though ontologies are widely used to solve some specific interoperability problems, there is no specific ontology defining what interoperability actually is, independentl...
Yannick Naudet, Thibaud Latour, Kevin Hausmann, Sv...
PVLDB
2010
103views more  PVLDB 2010»
15 years 2 months ago
Probabilistic XML via Markov Chains
We show how Recursive Markov Chains (RMCs) and their restrictions can define probabilistic distributions over XML documents, and study tractability of querying over such models. ...
Michael Benedikt, Evgeny Kharlamov, Dan Olteanu, P...