896 search results - page 65 / 180 » On completeness of word reversing |
111
click to vote
TCS
2011
14 years 7 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...
115
Voted
ICDCS
2006
IEEE
15 years 6 months 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...
FOCS
1998
IEEE
15 years 5 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...
118
click to vote
WDAG
1994
Springer
15 years 4 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 ...
92
Voted
ANTSW
2008
Springer
15 years 2 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...