1341 search results - page 238 / 269 » Logic for Modeling Product Structure |
BIRTHDAY
2005
Springer
15 years 5 months ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
123
click to vote
FMCO
2004
Springer
15 years 5 months ago
2004
Springer
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
ISMIR
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents the principles of a new approach aimed at automatically discovering motivic patterns in monodies. It is shown that, for the results to agree with the listener...
116
click to vote
DOLAP
2005
ACM
15 years 1 months ago
2005
ACM
Online Analytical Processing is a powerful framework for the analysis of organizational data. OLAP is often supported by a logical structure known as a data cube, a multidimension...
115
click to vote
MIE
2008
15 years 1 months ago
2008
The Gene Regulation Ontology (GRO) is designed as a novel approach to model complex events that are part of the gene regulatory processes. We introduce the design requirements for ...