11397 search results - page 1979 / 2280 » A Relational Abstraction for Functions |
225
Voted
ICTAI
2009
IEEE
16 years 2 months ago
2009
IEEE
A serious threat to user privacy in new mobile and web2.0 applications stems from ‘social inferences’. These unwanted inferences are related to the users’ identity, current ...
188
click to vote
GECCO
2009
Springer
16 years 2 months ago
2009
Springer
This paper introduces a new component based model that makes it relatively simple to prove that certain types of landscapes are elementary. We use the model to reconstruct proofs ...
204
click to vote
TLCA
2009
Springer
16 years 2 months ago
2009
Springer
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
218
click to vote
SIGIR
2009
ACM
16 years 2 months ago
2009
ACM
Although many variants of language models have been proposed for information retrieval, there are two related retrieval heuristics remaining “external” to the language modelin...
227
click to vote
APN
2007
Springer
16 years 1 months ago
2007
Springer
This tool paper describes the functionality of ProM. Version 4.0 of ProM has been released at the end of 2006 and this version reflects recent achievements in process mining. Proc...