Search Sciweavers | Sciweavers

4233 search results - page 12 / 847

» Three Paths to Effectiveness

click to vote

CORR
2010
Springer

100views Education» more CORR 2010»

Shortest paths between shortest paths and independent sets

13 years 7 months ago

Download www.cs.toronto.edu

We study problems of reconguration of shortest paths in graphs. We prove that the shortest reconguration sequence can be exponential in the size of the graph and that it is NP-hard...

Marcin Kaminski, Paul Medvedev, Martin Milanic

claim paper

Read More »

click to vote

AAECC
2006
Springer

102views Algorithms» more AAECC 2006»

An effective proof of the well-foundedness of the multiset path ordering

13 years 7 months ago

Download www.cmi.univ-mrs.fr

The contribution of this paper is an effective proof of the well-foundedness of MPO, as a term of the Calculus of Inductive Constructions. This proof is direct, short and simple. ...

Solange Coupet-Grimal, William Delobel

claim paper

Read More »

click to vote

VTC
2008
IEEE

145views Communications» more VTC 2008»

Combined Effect of Inter-Path Interference Cancellation And Random Transmit Power Control on DS-CDMA Packet Mobile Communication

14 years 1 months ago

Download www.mobile.ecei.tohoku.ac.jp

— In mobile communication systems, high speed packet data services are demanded. In the high speed data transmission, throughput degrades severely due to severe inter-path interf...

Eisuke Kudoh, Haruki Ito, ZhiSen Wang, Fumiyuki Ad...

claim paper

Read More »

click to vote

SCAM
2009
IEEE

123views Software Engineering» more SCAM 2009»

Improving Side-Effect Analysis with Lazy Access Path Resolving

14 years 2 months ago

Download www.dcs.kcl.ac.uk

Ju Qian, Yuming Zhou, Baowen Xu

claim paper

Read More »