256 search results - page 28 / 52 » Separation of NP-Completeness Notions |
CADE
2001
Springer
16 years 3 days ago
2001
Springer
Context trees are a popular and effective tool for tasks such as compression, sequential prediction, and language modeling. We present an algebraic perspective of context trees for...
IEEEARES
2010
IEEE
15 years 6 months ago
2010
IEEE
—Increasingly, organizations collaborate with other organizations in value webs with various arrangements, such as outsourcing, partnering, joint ventures, or subcontracting. As ...
FSTTCS
2009
Springer
15 years 6 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
107
click to vote
TLCA
2009
Springer
15 years 6 months ago
2009
Springer
Finiteness spaces constitute a categorical model of Linear Logic whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefsc...
ICC
2008
IEEE
15 years 6 months ago
2008
IEEE
— Fine time resolution enables Ultra-Wideband (UWB) ranging systems to reliably extract the first multipath arrival corresponding to the range between a transmitter and receiver...