12950 search results - page 264 / 2590 » On Optimal Timed Strategies |
199
click to vote
SODA
2010
ACM
15 years 5 months ago
2010
ACM
We give near-tight bounds for estimating the edit distance between two non-repetitive strings (Ulam distance) with constant approximation, in sub-linear time. For two strings of l...
162
click to vote
ICMCS
1997
IEEE
15 years 11 months ago
1997
IEEE
Near-Video-on-Demand (NVOD) provides customers with a service model completely different from true Video-on-Demand (VOD). In the NVOD service model, customers’ requests are not ...
172
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...
204
click to vote
CCECE
2006
IEEE
16 years 22 days ago
2006
IEEE
Multiuser detection (MUD) techniques are known to improve the performance of CDMA cellular communication systems. This performance improvement usually comes at a large computation...
177
click to vote
IEEECIT
2006
IEEE
16 years 21 days ago
2006
IEEE
For the low bit rate (LBR) video communications, LBR transcoding is performed by the transcoder to match the network bandwidth and the performance of the client. One of typical tr...