3229 search results - page 560 / 646 » Theories with the Independence Property |
173
Voted
RTA
2005
Springer
16 years 13 days ago
2005
Springer
Proofs of equalities may be built from assumptions using proof rules for reflexivity, symmetry, and transitivity. Reflexivity is an axiom proving x=x for any x; symmetry is a 1-p...
201
click to vote
SAGA
2005
Springer
16 years 13 days ago
2005
Springer
We consider temporal aspects of self-replication and evolvability – in particular, the massively asynchronous parallel and distributed nature of living systems. Formal views of s...
181
Voted
CASES
2004
ACM
16 years 11 days ago
2004
ACM
This paper presents and reports on a VLIW code compression technique based on vector Hamming distances [19]. It investigates the appropriate selection of dictionary vectors such t...
169
click to vote
MOBICOM
2004
ACM
16 years 11 days ago
2004
ACM
Sensor networks are often desired to last many times longer than the active lifetime of individual sensors. This is usually achieved by putting sensors to sleep for most of their ...
184
click to vote
ACISP
2004
Springer
16 years 11 days ago
2004
Springer
In this paper, we study the problem of single database private information retrieval, and present schemes with only logarithmic server-side communication complexity. Previously th...