2386 search results - page 375 / 478 » Representing and Reasoning with Preferences |
186
click to vote
TLCA
2007
Springer
16 years 17 days ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
169
click to vote
EDOC
2006
IEEE
16 years 16 days ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
154
click to vote
ICDCSW
2006
IEEE
16 years 15 days ago
2006
IEEE
Peer-to-peer (P2P) systems are based upon the cooperative interactions of member peers. Typically, peers are both autonomous and self-interested, meaning that there is no hierarch...
154
click to vote
ICDM
2006
IEEE
16 years 15 days ago
2006
IEEE
This work presents a systematic comparison between seven kernels (or similarity matrices) on a graph, namely the exponential diffusion kernel, the Laplacian diffusion kernel, the ...
184
click to vote
ICDM
2006
IEEE
16 years 15 days ago
2006
IEEE
Current outlier detection schemes typically output a numeric score representing the degree to which a given observation is an outlier. We argue that converting the scores into wel...