1421 search results - page 146 / 285 » The First and Second Max-SAT Evaluations |
METRICS
2003
IEEE
14 years 3 months ago
2003
IEEE
As distributed technologies become more widely used, the need for assessing the quality of distributed applications correspondingly increases. Despite the rich body of research an...
MSE
2003
IEEE
14 years 3 months ago
2003
IEEE
A tool has been created for use in a design course to automate integration of new components into a SystemOn-Chip (SoC). Students used this tool to implement a complete SoC Intern...
WETICE
2003
IEEE
14 years 3 months ago
2003
IEEE
Large scale distributed applications such as electronic commerce and online marketplaces combine network access with multiple storage and computational elements. The distributed r...
SIGIR
2003
ACM
14 years 3 months ago
2003
ACM
Most information retrieval technologies are designed to facilitate information discovery. However, much knowledge work involves finding and re-using previously seen information. W...
UIST
2003
ACM
14 years 3 months ago
2003
ACM
This paper presents a novel image editing program emphasizing easy selection and manipulation of material found in informal, casual documentssuch as sketches, handwrittennotes, wh...