Sciweavers

5592 search results - page 25 / 1119
» On Random Betweenness Constraints
Sort
View
TCS
2010
13 years 4 months ago
An exact correspondence between a typed pi-calculus and polarised proof-nets
This paper presents an exact correspondence in typing and dynamics between polarised linear logic and a typed -calculus based on IO-typing. The respective incremental constraints,...
Kohei Honda, Olivier Laurent
NAACL
2007
13 years 11 months ago
Relationship between Non-Projective Edges, Their Level Types, and Well-Nestedness
Dependency analysis of natural language gives rise to non-projective structures. The constraint of well-nestedness on dependency trees has been recently shown to give a good fit ...
Jirí Havelka
TCOM
2010
90views more  TCOM 2010»
13 years 8 months ago
On the Relationship Between Belief Propagation Decoding and Joint Maximum Likelihood Detection
—Belief propagation, via a novel reinterpretation of the Bethe free energy’s pseudo-dual, is shown to be related to a novel relaxation of maximum likelihood detection via a con...
John MacLaren Walsh, Phillip A. Regalia
SEAA
2008
IEEE
14 years 4 months ago
Checking Session-Oriented Interactions between Web Services
Although web services are generally envisioned as being stateless, some of them are implicitly stateful. The reason is that the web services often work as front-ends to enterprise...
Pavel Parizek, Jirí Adámek
ECCV
1998
Springer
14 years 11 months ago
A Two-Stage Probabilistic Approach for Object Recognition
Assume that some objects are present in an image but can be seen only partially and are overlapping each other. To recognize the objects, we have to rstly separate the objects from...
Stan Z. Li, Joachim Hornegger