9405 search results - page 280 / 1881 » Computing a Model of Set Theory |
172
Voted
AFRIGRAPH
2010
ACM
15 years 8 months ago
2010
ACM
Aligning structures, often referred to as docking or registration, is frequently required in fields such as computer science, robotics and structural biology. The task of alignin...
134
click to vote
ICCV
2001
IEEE
16 years 6 months ago
2001
IEEE
Principal Component Analysis (PCA) has been widely used for the representation of shape, appearance, and motion. One drawback of typical PCA methods is that they are least squares...
150
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
261
Voted
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
The skyline operator returns from a set of multi-dimensional objects a subset of superior objects that are not dominated by others. This operation is considered very important in ...
133
click to vote
LMCS
2006
15 years 4 months ago
2006
tract Stone Duality) is a re-axiomatisation of general topology in which the topology on a space is treated, not as an infinitary lattice, but as an exponential object of the same...