1221 search results - page 37 / 245 » Two Consistency Results on Set Mappings |
162
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
A number of diagnostic and optimisation problems in Electronics Computer Aided Design have usually been handled either by specific tools or by mapping them into a general problem s...
165
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Church's Higher Order Logic is a basis for proof assistants -- HOL and PVS. Church's logic has a simple set-theoretic semantics, making it trustworthy and extensible. We ...
103
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
We address the problem of extending topographic maps to color images. A topographic map gives a morphological and a geometrical representation of the information contained in natu...
162
click to vote
ACSAC
2009
IEEE
16 years 27 days ago
2009
IEEE
—MapReduce has become increasingly popular as a powerful parallel data processing model. To deploy MapReduce as a data processing service over open systems such as service orient...
195
Voted
AAAI
2010
15 years 7 months ago
2010
Dimensionality reduction is the process by which a set of data points in a higher dimensional space are mapped to a lower dimension while maintaining certain properties of these p...