2436 search results - page 423 / 488 » Comonadic Notions of Computation |
TCC
2009
Springer
14 years 10 months ago
2009
Springer
We initiate the study of one-wayness under correlated products. We are interested in identifying necessary and sufficient conditions for a function f and a distribution on inputs ...
KDD
2007
ACM
14 years 10 months ago
2007
ACM
The importance of dominance and skyline analysis has been well recognized in multi-criteria decision making applications. Most previous studies assume a fixed order on the attribu...
CHI
2005
ACM
14 years 10 months ago
2005
ACM
Experiments were conducted to investigate the interdependency of frame rates (30, 15, 10 fps) and audiovisual skew (from +163 to -233 ms1 ). Noised nonsense words like 'abaga...
RECOMB
2006
Springer
14 years 10 months ago
2006
Springer
We study the problem of enumerating substrings that are common amongst genomes that share evolutionary descent. For example, one might want to enumerate all identical (therefore co...
CADE
2005
Springer
14 years 10 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...