1669 search results - page 113 / 334 » Structured Specification of Model Interpreters |
121
Voted
ICPR
2006
IEEE
2006
IEEE
Part-Based Multi-Frame Registration for Estimation of the Growth Of Cellular Networks in Plant Roots
16 years 4 months ago
Motion estimation from confocal scanning laser microscope images of growing plant cell structures presents interesting challenges; motion exhibits multiple local discontinuities a...
146
click to vote
ENTCS
2006
15 years 3 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
154
Voted
JSA
2002
15 years 3 months ago
2002
This paper examines some models of FSMs that can be implemented in dynamically and statically reconfigurable FPGAs. They enable circuits for the FSMs to be constructed in such a wa...
120
Voted
TARK
1998
Springer
15 years 7 months ago
1998
Springer
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...
130
click to vote
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
e [43] is the first paper on final, observational semantics in abstract data types, and the main reference for one of the MoC contributed papers in this volume. It presented severa...