411 search results - page 55 / 83 » Algebraic Imperative Specifications |
157
click to vote
ERSHOV
2009
Springer
15 years 5 months ago
2009
Springer
A term t is called a template of terms t1 and t2 iff t1 = t1 and t2 = t2, for some substitutions 1 and 2. A template t of t1 and t2 is called the most specific iff for any template...
115
click to vote
ICCV
2009
IEEE
16 years 7 months ago
2009
IEEE
Multilinear algebra is a powerful theoretical tool for visual
geometry, but widespread usage of traditional typographical
notation often hides its conceptual elegance and
simpli...
104
click to vote
ISBI
2006
IEEE
16 years 2 months ago
2006
IEEE
The temporal resolution of dynamic MRI can be increased by sampling a fraction of k-space in an interleaved fashion, which causes spatial and temporal aliasing. We describe algebr...
WWW
2004
ACM
16 years 2 months ago
2004
ACM
Business processes involve interactions among autonomous partners. We propose that these interactions be specified modularly as protocols. Protocols can be published, enabling imp...
127
click to vote
CADE
2008
Springer
16 years 2 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...