2741 search results - page 165 / 549 » Engineering Mathematical Knowledge |
127
click to vote
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
The authors have proposed using category-theoretic sketches to enhance database design and integration methodologies. The algebraic context is called the Sketch Data Model (SkDM) a...
155
click to vote
AVI
1996
15 years 4 months ago
1996
Visual interfaces to computer systems are interactive. The cycle of visual interaction involves both visual perception and action. This paper examines formal models of interactive...
129
click to vote
JAPLL
2008
15 years 3 months ago
2008
Simple type theory, also known as higher-order logic, is a natural extension of first-order logic which is simple, elegant, highly expressive, and practical. This paper surveys th...
116
click to vote
SOCO
2002
Springer
15 years 2 months ago
2002
Springer
In this article, we develop a new method and an algorithm to solve a system of fuzzy relation equations. We first introduce a solution-base-matrix and then give a tractable mathema...
106
click to vote
CCE
2010
15 years 19 days ago
2010
The paper examines the applicability of mathematical programming methods to the simultaneous optimization of the structure and the operational parameters of a combined-cycle-based...