13913 search results - page 2564 / 2783 » models 2007 |
134
click to vote
ENGL
2007
15 years 4 months ago
2007
— This paper presents a new intelligent agent supervisory loop based approach for dynamic system control. The scheme consists of three software agents that work in an autonomous ...
123
click to vote
ENGL
2007
15 years 4 months ago
2007
Nowadays, fly ash is a common ingredient of concrete and may constitute up to 50% by weight of the total binder material. Incorporation of fly ash in Portland-cement concrete is hi...
137
click to vote
ENTCS
2007
15 years 4 months ago
2007
ly positive maps (extended abstract) Peter Selinger 1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories ...
130
click to vote
ENTCS
2007
15 years 4 months ago
2007
Lawvere theories and monads have been the two main category theoretic formulations of universal algebra, Lawvere theories arising in 1963 and the connection with monads being esta...
151
click to vote
ENTCS
2007
15 years 4 months ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...