652 search results - page 10 / 131 » On the behavioural dimension of correspondences between proc... |
SIGSOFT
2003
ACM
14 years 8 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
SIGIR
2003
ACM
14 years 18 days ago
2003
ACM
An empirical study has been conducted investigating the relationship between the performance of a generative language model in terms of perplexity and the corresponding informatio...
ICCV
2011
IEEE
12 years 7 months ago
2011
IEEE
We present a novel approach to simultaneously reconstruct the 3D structure of a non-rigid coronary tree and estimate point correspondences between an input X-ray image and a refer...
FOSSACS
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
During the last decades market competition created various constellations of collaborative integration between enterprises: integration of parts of the value chain or integration ...