Sciweavers

511 search results - page 69 / 103
» TSP with bounded metrics
Sort
View
ZUM
2005
Springer
142views Formal Methods» more  ZUM 2005»
14 years 2 months ago
Formal Program Development with Approximations
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...
Eerke A. Boiten, John Derrick
IMR
2004
Springer
14 years 1 months ago
Smoothing and Adaptive Redistribution for Grids with Irregular Valence and Hanging Nodes
We describe some extensions to the grid smoothing scheme described in [1, 2] that deal with the following issues: 1) the clustering effect of changing valence in an unstructured ...
Larisa Branets, Graham F. Carey
ISCAS
2003
IEEE
125views Hardware» more  ISCAS 2003»
14 years 1 months ago
Low noise amplifier design for ultra-wideband radio
A new theoretical approach for designing a low-noise amplifier (LNA) for the ultra-wideband (UWB) radio is presented. Unlike narrowband systems, the use of the noise figure (NF) p...
Jongrit Lerdworatawee, Won Namgoong
AAAI
2006
13 years 10 months ago
Cost-Optimal External Planning
This paper considers strategies for external memory based optimal planning. An external breadth-first search exploration algorithm is devised that is guaranteed to find the costop...
Stefan Edelkamp, Shahid Jabbar
NETWORKING
2004
13 years 10 months ago
Experimental Analysis of the SABUL Congestion Control Algorithm
Several new protocols such as RBUDP, User-Level UDP, Tsunami, and SABUL, have been proposed as alternatives to TCP for high speed data transfer. The purpose of this paper is to an...
Phoemphun Oothongsap, Yannis A. Viniotis, Mladen A...