3134 search results - page 153 / 627 » Computing full disjunctions |
124
Voted
HOA
1993
15 years 7 months ago
1993
This paper studies termination properties of rewrite systems that are typeable using intersection types. It introduces a notion of partial type assignment on Curryfied Term Rewri...
110
click to vote
MFCS
1994
Springer
15 years 7 months ago
1994
Springer
We show that the wavefront approach to Voronoi diagrams (a deterministic line sweep algorithm that does not use geometric transform) can be generalized to distance measures more g...
112
Voted
ICCS
2007
Springer
15 years 7 months ago
2007
Springer
The clustering coefficient C of a network, which is a measure of direct connectivity between neighbors of the various nodes, ranges from 0 (for no connectivity) to 1 (for full conn...
112
Voted
ECSQARU
1997
Springer
15 years 7 months ago
1997
Springer
We develop a classification method for incoming pieces of evidence in Dempster-Shafer theory. This methodology is based on previous work with clustering and specification of origin...
148
Voted
CVPR
2005
IEEE
15 years 5 months ago
2005
IEEE
We propose an approach to incorporating dynamic models into the human body tracking process that yields full 3– D reconstructions from monocular sequences. We formulate the trac...