Sciweavers

19130 search results - page 286 / 3826
» Modelling multi-path problems
Sort
View
SODA
2008
ACM
122views Algorithms» more  SODA 2008»
15 years 8 months ago
A fractional model of the border gateway protocol (BGP)
The Border Gateway Protocol (BGP) is the interdomain routing protocol used to exchange routing information between Autonomous Systems (ASes) in the internet today. While intradoma...
Penny E. Haxell, Gordon T. Wilfong
JUCS
2007
98views more  JUCS 2007»
15 years 6 months ago
Random k-GD-Sat Model and its Phase Transition
Abstract: We present a new type of sat problem called the k-gd-sat, which generalizes k-sat and gd-sat. In k-gd-sat, clause lengths have geometric distribution, controlled by a pro...
Milena Vujosevic-Janicic, Jelena Tomasevic, Predra...
CORR
1999
Springer
95views Education» more  CORR 1999»
15 years 6 months ago
Fixed-parameter tractability, definability, and model checking
In this article, we study parameterized complexity theory from the perspective of logic, or more specifically, descriptive complexity theory. We propose to consider parameterized ...
Jörg Flum, Martin Grohe
TEC
2002
108views more  TEC 2002»
15 years 6 months ago
Analysis and modeling of control tasks in dynamic systems
Most applications of evolutionary algorithms (EAs) deal with static optimization problems. However, in recent years, there has been a growing interest in timevarying (dynamic) prob...
Rasmus K. Ursem, Thiemo Krink, Mikkel T. Jensen, Z...
TSMC
2010
15 years 1 months ago
Set-Membership Fuzzy Filtering for Nonlinear Discrete-Time Systems
This paper is concerned with the set-membership filtering (SMF) problem for discrete-time nonlinear systems. We employ the Takagi
Fuwen Yang, Yongmin Li