4184 search results - page 643 / 837 » Names of Our Lives |
107
click to vote
SIGECOM
2010
ACM
15 years 2 months ago
2010
ACM
In the traditional voting manipulation literature, it is assumed that a group of manipulators jointly misrepresent their preferences to get a certain candidate elected, while the ...
140
click to vote
DEXA
2010
Springer
15 years 2 months ago
2010
Springer
Given a large collection of objects, finding all pairs of similar objects, namely similarity join, is widely used to solve various problems in many application domains.Computation ...
127
click to vote
ICPR
2010
IEEE
15 years 2 months ago
2010
IEEE
—Document Image Binarization techniques have been studied for many years, and many practical binarization techniques have been developed and applied successfully on commercial do...
128
click to vote
COMPSAC
2007
IEEE
15 years 2 months ago
2007
IEEE
Lose sight of the existence of system crosscutting concerns, e.g. safety and quality etc, often causes the system hard to maintain and evolve according to the changing environment...
115
click to vote
ACTA
2010
15 years 2 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...