4277 search results - page 175 / 856 » On Multiple Linear Approximations |
90
Voted
LICS
1999
IEEE
15 years 3 months ago
1999
IEEE
A new concurrent form of game semantics is introduced. This overcomes the problems which had arisen with previous, sequential forms of game semantics in modelling Linear Logic. It...
80
Voted
3DIM
2005
IEEE
15 years 4 months ago
2005
IEEE
This paper describes a fast, simultaneous alignment method for a large number of range images. Generally the most time-consuming task in aligning range images is searching corresp...
87
Voted
CHES
2008
Springer
15 years 26 days ago
2008
Springer
In this paper, two efficient multiple-differential methods to detect collisions in the presence of strong noise are proposed - binary and ternary voting. After collisions have been...
82
Voted
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Abstract-- We consider the problem of rate and power allocation in a fading multiple-access channel. Our objective is to obtain rate and power allocation policies that maximize a u...
ICDE
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract-- We consider the Top-k Approximate Subtree Matching (TASM) problem: finding the k best matches of a small query tree, e.g., a DBLP article with 15 nodes, in a large docum...