1948 search results - page 142 / 390 » Formalizing Mirror Theory |
165
click to vote
ER
2007
Springer
16 years 19 days ago
2007
Springer
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
199
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— Recently, cognitive psychologists and others have turned their attention to the formerly neglected study of shadows, and the information they purvey. These studies show that th...
168
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical ...
153
click to vote
WOTUG
2007
15 years 7 months ago
2007
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...
173
click to vote
JAR
2008
15 years 6 months ago
2008
Statistical quantities, such as expectation (mean) and variance, play a vital role in the present age probabilistic analysis. In this paper, we present some formalization of expect...