2272 search results - page 122 / 455 » A Calculus for |
131
click to vote
ENTCS
2007
15 years 4 months ago
2007
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
121
click to vote
PE
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, the manufacturing blocking system (MBS) is studied from the Network Calculus (NetCal) perspective. By dominating an MBS by a window flow controller (WFC), we obtain...
133
click to vote
LOGCOM
2007
15 years 4 months ago
2007
Shapiro et al. [2005; 2006], presented a framework for representing goal change in the situation calculus. In that framework, agents adopt a goal when requested to do so (by some ...
127
click to vote
IANDC
2010
15 years 2 months ago
2010
Categorial grammars in the tradition of Lambek [18, 19] are asymmetric: sequent statements are of the form Γ ⇒ A, where the succedent is a single formula A, the antecedent a st...
156
click to vote
TSP
2010
14 years 10 months ago
2010
Abstract--We derive a class of algorithms for independent component analysis (ICA) based on maximum likelihood (ML) estimation and perform stability analysis of natural gradient ML...