9405 search results - page 1497 / 1881 » Computing a Model of Set Theory |
182
click to vote
MICCAI
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. The registration of multimodal medical images is an important tool in surgical applications, since different scan modalities highlight complementary anatomical structures...
169
click to vote
IPPS
1997
IEEE
15 years 11 months ago
1997
IEEE
Star networks were proposedrecently as an attractive alternative to the well-known hypercube models for interconnection networks. Extensive research has been performed that shows ...
144
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
-- In this paper, a tool to aid pipelined processor instruction set implementation is described. The purpose of the tool is to choose from among design alternatives a design that m...
175
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
Abstract: This paper presents an approach to area optimization of arithmetic datapaths that perform polynomial computations over bit-vectors with finite widths. Examples of such de...
176
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
In this paper, we tackle the problem of object detection and tracking in a new and challenging domain of wide area surveillance. This problem poses several challenges: large camera...