5210 search results - page 416 / 1042 » Exact geometric computation |
144
Voted
CONCUR
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. We study the expressiveness of finite message-passing automata with a priori unbounded FIFO channels and show them to capture exactly the class of MSC languages that are...
164
click to vote
FOSSACS
2004
Springer
16 years 7 days ago
2004
Springer
In this work we generalize the fundamental notion of recognizability from untimed to timed languages. The essence of our definition is the existence of a right-morphism from the m...
176
click to vote
ICALP
2004
Springer
16 years 7 days ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
316
Voted
ICPR
2010
IEEE
16 years 4 days ago
2010
IEEE
We propose a novel Markovian segmentation
model which takes into account edge information. By construction,
the model uses only pairwise interactions and its
energy is submodula...
169
Voted
ISIPTA
2003
IEEE
16 years 4 days ago
2003
IEEE
Walley’s Imprecise Dirichlet Model (IDM) for categorical data overcomes several fundamental problems which other approaches to uncertainty suffer from. Yet, to be useful in prac...