Sciweavers

3780 search results - page 459 / 756
» Structured Relation Discovery using Generative Models
Sort
View
VLDB
1991
ACM
168views Database» more  VLDB 1991»
15 years 10 months ago
Semantic Modeling of Object Oriented Databases
: This paper describes a design methodology for an object oriented database,basedon a semantic network. This approach is based on the assumption that Yemanticdata models are more p...
Mokrane Bouzeghoub, Elisabeth Métais
DSD
2009
IEEE
93views Hardware» more  DSD 2009»
15 years 4 months ago
Transactions Sequence Tracking by means of Dynamic Binary Instrumentation of TLM Models
Several traditional VHDL fault injection mechanisms like mutants or saboteurs have been adapted to SystemC model descriptions. The main drawback of these approaches is the necessi...
Antonio da Silva, Sebastian Sanchez
WIDM
2004
ACM
16 years 2 days ago
User evaluation of the NASA technical report server recommendation service
We present the user evaluation of two recommendation server methodologies implemented for the NASA Technical Report Server (NTRS). One methodology for generating recommendations u...
Michael L. Nelson, Johan Bollen, JoAnne R. Calhoun...
ICCD
2005
IEEE
114views Hardware» more  ICCD 2005»
16 years 3 months ago
State Set Management for SAT-based Unbounded Model Checking
In recent years, Boolean Satisfiability (SAT) has been shown to hold potential for Unbounded Model Checking (UMC). The success of SAT-based UMC largely relies on (i) the SAT solv...
Kameshwar Chandrasekar, Michael S. Hsiao
SEMWEB
2010
Springer
15 years 4 months ago
Summary Models for Routing Keywords to Linked Data Sources
The proliferation of linked data on the Web paves the way to a new generation of applications that exploit heterogeneous data from different sources. However, because this Web of d...
Thanh Tran, Lei Zhang, Rudi Studer