3710 search results - page 212 / 742 » A new calculus of contexts |
233
click to vote
ENTCS
2006
15 years 7 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...
241
click to vote
ENTCS
2002
15 years 7 months ago
2002
A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...
159
click to vote
ECCV
1994
Springer
16 years 9 months ago
1994
Springer
We show how a special decomposition of a set of two or three general projection matrices, called canonic enables us to build geometric descriptions for a system of cameras which a...
150
click to vote
HICSS
2003
IEEE
16 years 16 days ago
2003
IEEE
This paper provides a first idea on changes induced by new ICT that goes ‘beyond mobile’. Main aspects considered are value creation structures, value proposition of products ...
203
click to vote
ICIP
2000
IEEE
15 years 11 months ago
2000
IEEE
Wavelet-domain hidden Markov tree (HMT) model has been recently proposed and applied to image processing, e.g., image segmentation. A new multiscale image segmentation method, cal...