13277 search results - page 2417 / 2656 » An Approach to Clustering Abstracts |
205
click to vote
ANOR
2004
15 years 7 months ago
2004
Abstract. In recent years we have seen an increasing interest in combining constraint satisfaction problem (CSP) formulations and linear programming (LP) based techniques for solvi...
182
click to vote
CCR
2004
15 years 7 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
167
click to vote
CGF
2004
15 years 7 months ago
2004
Pasting somebody's face into an existing image with traditional photo retouching and digital image processing tools has only been possible if both images show the face from t...
205
click to vote
COMPUTER
2004
15 years 7 months ago
2004
highly abstracted. The Chinese writing system uses logographs--conventional representations of words or morphemes. Characters of the most common kind have two parts, one suggesting...
181
click to vote
CSUR
2000
15 years 7 months ago
2000
Many object-oriented frameworks exhibit a high density of design pattern applications. Usually, there are more instances in a framework than there are abstract classes. Yet, only ...