3809 search results - page 429 / 762 » Associative language descriptions |
244
click to vote
IFIP
2010
Springer
15 years 2 months ago
2010
Springer
In the last years several attempts to define identity-related properties such as identifiability, pseudonymity and anonymity have been made to analyze the privacy offered by inform...
232
click to vote
APLAS
2011
ACM
14 years 7 months ago
2011
ACM
The well-known third list homomorphism theorem states that if a function h is both an instance of foldr and foldl, it is a list homomorphism. Plenty of previous works devoted to co...
316
click to vote
POPL
2009
ACM
16 years 8 months ago
2009
ACM
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...
234
click to vote
SIGCSE
2009
ACM
16 years 8 months ago
2009
ACM
commonly stated definition of abstract data type (ADT) is that it is a domain of values and the operations over that domain. So, for example, a language's built-in types, lik...
215
click to vote
KDD
2002
ACM
16 years 8 months ago
2002
ACM
Rule mining is an important data mining task that has been applied to numerous real-world applications. Often a rule mining system generates a large number of rules and only a sma...