Sciweavers

3780 search results - page 180 / 756
» Structured Relation Discovery using Generative Models
Sort
View
SEMWEB
2007
Springer
16 years 13 days ago
YARS2: A Federated Repository for Querying Graph Structured Data from the Web
We present the architecture of an end-to-end semantic search engine that uses a graph data model to enable interactive query answering over structured and interlinked data collecte...
Andreas Harth, Jürgen Umbrich, Aidan Hogan, S...
CORR
2010
Springer
157views Education» more  CORR 2010»
15 years 3 months ago
Using Semantic Wikis for Structured Argument in Medical Domain
This research applies ideas from argumentation theory in the context of semantic wikis, aiming to provide support for structured-large scale argumentation between human agents. The...
Adrian Groza, Radu Balaj
VLC
2008
132views more  VLC 2008»
15 years 6 months ago
Enforced generative patterns for the specification of the syntax and semantics of visual languages
We present the new notion of enforced generative pattern, a structure that declares positive or negative conditions that must be satisfied by a model. Patterns are applied to tran...
Paolo Bottoni, Esther Guerra, Juan de Lara
TC
2008
15 years 6 months ago
The Algebra of Connectors - Structuring Interaction in BIP
We provide an algebraic formalization of connectors in the BIP component framework. A connector relates a set of typed ports. Types are used to describe different modes of synchron...
Simon Bliudze, Joseph Sifakis
DATE
2005
IEEE
115views Hardware» more  DATE 2005»
15 years 12 months ago
Functional Coverage Driven Test Generation for Validation of Pipelined Processors
Functional verification of microprocessors is one of the most complex and expensive tasks in the current system-on-chip design process. A significant bottleneck in the validatio...
Prabhat Mishra, Nikil D. Dutt