11397 search results - page 80 / 2280 » A Relational Abstraction for Functions |
FUIN
2006
13 years 10 months ago
2006
Bimachines are important conceptual tools used for the characterization of rational word functions (realized by single-valued transducers). Despite the attention received in the pa...
CCS
2009
ACM
13 years 7 months ago
2009
ACM
Privacy of RFID systems is receiving increasing attention in the RFID community. Basically, there are two kinds of RFID privacy notions: one based on the indistinguishability of t...
ICNC
2005
Springer
14 years 3 months ago
2005
Springer
In completeness theories of multiple-valued logic, the characterization of Sheffer functions is an important problem，and the solution can be reduced to determining the minimal co...
RECOMB
2008
Springer
14 years 10 months ago
2008
Springer
Gene duplication has long been recognized as a major force in genome evolution and has recently been recognized as an important source of individual variation. For many years the o...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
The paper is organized as a self-contained literate Haskell program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmet...