5838 search results - page 1102 / 1168 » A File System for System Programming in Ubiquitous Computing |
99
Voted
DAC
2003
ACM
16 years 4 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
125
click to vote
ICML
2007
IEEE
16 years 4 months ago
2007
IEEE
In this paper, we present an information-theoretic approach to learning a Mahalanobis distance function. We formulate the problem as that of minimizing the differential relative e...
106
Voted
SIGSOFT
2001
ACM
16 years 4 months ago
2001
ACM
There is a growing interest in empirical study in software engineering, both for validating mature technologies and for guiding improvements of less-mature technologies. This pape...
239
Voted
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. A class of probabilistic-logic models is considered, which increases the expressibility from HMM's and SCFG's regular and contextfree languages to, in principle...
140
Voted
KDD
2005
ACM
16 years 3 months ago
2005
ACM
We describe an algorithm for converting linear support vector machines and any other arbitrary hyperplane-based linear classifiers into a set of non-overlapping rules that, unlike...