1788 search results - page 110 / 358 » Model Theory for Process Algebra |
92
Voted
IJIS
2008
15 years 23 days ago
2008
The ability to analyse and represent formally semantic relations of terms is a core issue in information retrieval (IR), natural language processing (NLP), and in many related are...
103
Voted
ICIP
2003
IEEE
16 years 2 months ago
2003
IEEE
In this paper, we rely on the theory of marked point processes to perform an unsupervised road network extraction from optical and radar images. A road network is modeled by a Mar...
106
Voted
ISBI
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we use marked point processes to perform an unsupervised extraction of the coronary tree from 2D X-ray angiography. These processes provide a rigorous framework bas...
113
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Consider a weighted and undirected graph, possibly with self-loops, and its corresponding Laplacian matrix, possibly augmented with additional diagonal elements correspon...
89
Voted
FOSSACS
2004
Springer
15 years 6 months ago
2004
Springer
More than a decade ago, Moller and Tofts published their seminal work on relating processes that are annotated with lower time bounds, with respect to speed. Their paper has left o...