1341 search results - page 186 / 269 » Logic for Modeling Product Structure |
98
Voted
DEXAW
2005
IEEE
15 years 9 months ago
2005
IEEE
Keywords, restricted vocabularies (RVs), thesauri, and catalogues are introduced leading up to discussion of the need for full ontologies to describe the full logical and relation...
100
Voted
DEXA
2001
Springer
15 years 8 months ago
2001
Springer
In this paper we investigate various aspects of representing multidimensional information in the frame of the WWW. Multidimensional XML (MXML) is an extension of XML suitable for r...
179
Voted
DAC
1994
ACM
15 years 7 months ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
104
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
We develop a purely ordinal model for aggregation functionals for lattice valued functions, comprising as special cases quantiles, the Ky Fan metric and the Sugeno integral. For m...
113
Voted
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Detailed memory models that expose individual fields are necessary to precisely analyze code that makes use of low-level aspects such as, pointers to fields and untagged unions. Ye...