Sciweavers

3717 search results - page 40 / 744
» Representing Multiple Theories
Sort
View
AEI
2004
114views more  AEI 2004»
13 years 7 months ago
Physical concept ontology for the knowledge intensive engineering framework
Knowledge intensive engineering aims at flexible applications of a variety of product life cycle knowledge, such as design, manufacturing, operations, maintenance, and recycling. ...
Masaharu Yoshioka, Yasushi Umeda, Hideaki Takeda, ...
CORR
2010
Springer
140views Education» more  CORR 2010»
13 years 7 months ago
Classical BI: Its Semantics and Proof Theory
We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI. CBI differs from exi...
James Brotherston, Cristiano Calcagno
SMA
2008
ACM
192views Solid Modeling» more  SMA 2008»
13 years 6 months ago
Identification of sections from engineering drawings based on evidence theory
View identification is the basal process for solid reconstruction from engineering drawings. A new method is presented to label various views from a section-involved drawing and i...
Jie-Hui Gong, Hui Zhang, Bin Jiang, Jia-Guang Sun
ICPR
2004
IEEE
14 years 8 months ago
Evaluation of Tracking Reliability Metrics based on Information Theory and Normalized Correlation
The efficiency of three tracking reliability metrics based on information theory and normalized correlation is examined in this paper. The two information theory tools used for th...
Evangelos Loutas, Nikos Nikolaidis, Ioannis Pitas
CISS
2008
IEEE
14 years 2 months ago
Game theory for heterogeneous flow control
—A general framework is developed for networks with flows that use all available congestion signals to regulate their rates. It is conceptually a generalization of the existing ...
Ao Tang, Lachlan L. H. Andrew