896 search results - page 65 / 180 » On completeness of word reversing |
165
click to vote
TCS
2011
15 years 1 months ago
2011
A new complete characterization of β-strong normalization is given, both in the classical and in the lazy λ-calculus, through the notion of potential valuability inside two suit...
179
click to vote
ICDCS
2006
IEEE
16 years 10 days ago
2006
IEEE
Global-scale attacks like viruses and worms are increasing in frequency, severity and sophistication, making it critical to detect outbursts at routers/gateways instead of end hos...
145
click to vote
FOCS
1998
IEEE
15 years 10 months ago
1998
IEEE
We show that approximating the shortest vector problem (in any p norm) to within any constant factor less than p 2 is hard for NP under reverse unfaithful random reductions with i...
173
click to vote
WDAG
1994
Springer
15 years 10 months ago
1994
Springer
This paper investigates how vector time can be used to set breakpoints in distributed computations for the purpose of analyzing and debugging distributed programs. A breakpoint is ...
148
click to vote
ANTSW
2008
Springer
15 years 8 months ago
2008
Springer
Robotic swarm behavior is usually demonstrated using groups of robots, in which each robot in the swarm must possess full mobile capabilities, including the ability to control both...