2124 search results - page 67 / 425 » An Efficient Framework for Order Optimization |
146
click to vote
AAAI
2006
15 years 6 months ago
2006
Learning application-specific distance metrics from labeled data is critical for both statistical classification and information retrieval. Most of the earlier work in this area h...
135
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Grid computing provides a very rich environment for scientific calculations. In addition to the challenges it provides, it also offers new opportunities for optimization. In this ...
142
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
127
click to vote
FC
1998
Springer
15 years 9 months ago
1998
Springer
From von Solms and Naccache's standpoint, constructing a practical and secure e-money system implies a proper regulation of its privacy level. Furthermore, when the system ben...
143
click to vote
FTP
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We describe two methods on the basis of which efficient resolution decision procedures can be developed for a range of description logics. The first method uses an orderi...