21094 search results - page 3851 / 4219 » An experiment using DLV-K |
176
Voted
ASPDAC
2004
ACM
16 years 6 days ago
2004
ACM
— Robust power distribution within available routing area resources is critical to chip performance and reliability. In this paper, we propose a novel and efficient method for o...
178
click to vote
DOCENG
2004
ACM
16 years 6 days ago
2004
ACM
This paper reviews the main innovations of XML and considers their impact on the editing techniques for structured documents. Namespaces open the way to compound documents; well-f...
201
click to vote
ISSTA
2004
ACM
16 years 6 days ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
188
click to vote
JCDL
2004
ACM
16 years 6 days ago
2004
ACM
We developed two browsers to support large personal photo collections on PDAs. Our first browser is based on a traditional, folder-based layout that utilizes either the user’s m...
159
click to vote
MM
2004
ACM
16 years 6 days ago
2004
ACM
Colonoscopy is an important screening tool for colorectal cancer. During a colonoscopic procedure, a tiny video camera at the tip of the endoscope generates a video signal of the ...