7434 search results - page 143 / 1487 » Still |
134
click to vote
NDJFL
2010
14 years 11 months ago
2010
l Abstraction via the Frege Quantifier G. Aldo Antonelli Abstract This paper presents a formalization of first-order aritharacterizing the natural numbers as abstracta of the equin...
143
click to vote
TIT
2010
14 years 11 months ago
2010
Shortened cyclic codes that are capable of correcting up to a single burst of errors are considered. The efficiency of such codes has been analized by how well they approximate the...
131
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
extended abstract we report on work in progress carried out within the framework of the NWO project Realising Optimal Sharing. Instead of discussing optimal reduction in the λ-cal...
142
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
Whereas today’s information systems are well-equipped for efficient query handling, their strict mathematical foundations hamper their use for everyday tasks. In daily life, peop...
133
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
— Secrecy graphs model the connectivity of wireless networks under secrecy constraints. Directed edges in the graph are present whenever a node can talk to another node securely ...