2142 search results - page 182 / 429 » Improved Conditional E-Payments |
142
click to vote
APLAS
2007
ACM
15 years 7 months ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...
152
click to vote
CAIP
2007
Springer
15 years 7 months ago
2007
Springer
Fracture of the bone is a very serious medical condition. In clinical practice, a tired radiologist has been found to miss fracture cases after looking through many images containi...
143
click to vote
AH
2006
Springer
15 years 7 months ago
2006
Springer
Adaptive Hypermedia Systems adjust the content to best suit users' personal characteristics, but rarely consider delivery performance. Performance issues are even more signifi...
148
click to vote
ASPDAC
2006
ACM
15 years 7 months ago
2006
ACM
Due to false paths and multi-cycle paths in a circuit, using only topological delay to determine the clock period could be too conservative. In this paper, we address the timing a...
107
click to vote
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
The task of translating data from one schema into another is usually performed with the help of information stating how the elements between two schemas correspond. Translation mec...