17054 search results - page 147 / 3411 » Logics of Dynamical Systems |
175
click to vote
ENTCS
2002
15 years 6 months ago
2002
Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed w...
177
Voted
ICFP
2004
ACM
16 years 7 months ago
2004
ACM
We present a process logic for the -calculus with the linear/affine type discipline (Berger et al. 2001; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda ...
187
Voted
ECCV
2004
Springer
16 years 9 months ago
2004
Springer
Dynamic texture can be defined as a temporally continuous and infinitely varying stream of images that exhibit certain temporal statistics. Linear dynamic system (LDS) represented ...
160
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper, we study the Dynamic Traveling Repairman Problem (DTRP) for dynamic systems. In the DTRP, customers are arising dynamically and randomly in a bounded region R, a...
209
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Weighted logic programming, a generalization of bottom-up logic programming, is a successful framework for specifying dynamic programming algorithms. In this setting, pro...