3235 search results - page 157 / 647 » Partial Redundant Modeling |
151
click to vote
ORDER
2006
15 years 4 months ago
2006
We study finite partial orders which have a chain such that every element of the order either belongs to this chain or has all its covers in this chain. We show that such orders a...
154
click to vote
FMSD
2002
15 years 4 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
162
Voted
NAACL
2010
15 years 2 months ago
2010
In this paper, we present an innovative chart mining technique for improving parse coverage based on partial parse outputs from precision grammars. The general approach of mining ...
113
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
Trajectory methods sample the state trajectory of a circuit as it simulates in the time domain, and build macromodels by reducing and interpolating among the linearizations create...
162
click to vote
WISE
2002
Springer
15 years 9 months ago
2002
Springer
We propose to use object-relational database management systems to store and manage semi-structured data. ORA-SS (Object-Relationship-Attribute model for Semi-Structured data) [9]...