Sciweavers

691 search results - page 69 / 139
» Path Consistency by Dual Consistency
Sort
View
ICC
2007
IEEE
117views Communications» more  ICC 2007»
14 years 2 months ago
Synchronization in MB-OFDM-based UWB Systems
Abstract—This paper presents a preamble-based low complexity synchronization method for MB-OFDM based UWB systems. The proposed synchronization method consists of sync detection,...
Trent Jacobs, Yinghui Li, Hlaing Minn, R. M. A. P....
ICRA
2007
IEEE
132views Robotics» more  ICRA 2007»
14 years 2 months ago
Smooth Feedback for Car-Like Vehicles in Polygonal Environments
— We introduce a method for constructing provably safe smooth feedback laws for car-like robots in obstaclecluttered polygonal environments. The robot is taken to be a point with...
Stephen R. Lindemann, Steven M. LaValle
FSTTCS
2007
Springer
14 years 1 months ago
Program Analysis Using Weighted Pushdown Systems
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
Thomas W. Reps, Akash Lal, Nicholas Kidd
ICCSA
2007
Springer
14 years 1 months ago
Quasi-hierarchical Evolutionary Algorithm for Flow Optimization in Survivable MPLS Networks
In this paper we address the problem of working paths optimization in survivable MPLS network. We focus on an existing facility network, in which only network flows can be optimize...
Michal Przewozniczek, Krzysztof Walkowiak
ICWE
2007
Springer
14 years 1 months ago
On the Quality of Navigation Models with Content-Modification Operations
Initially, web development methods focused on the generation of read-only web applications for browsing the data stored in relational database systems. Lately, many have evolved to...
Jordi Cabot, Jordi Ceballos, Cristina Gómez