Sciweavers

1520 search results - page 192 / 304
» Class Hierarchy Specialization
Sort
View
IOR
2010
98views more  IOR 2010»
13 years 5 months ago
A Shadow Simplex Method for Infinite Linear Programs
We present a Simplex-type algorithm, that is, an algorithm that moves from one extreme point of the infinite-dimensional feasible region to another not necessarily adjacent extrem...
Archis Ghate, Dushyant Sharma, Robert L. Smith
CDC
2010
IEEE
100views Control Systems» more  CDC 2010»
13 years 2 months ago
On the internal dynamics of formations of unicycle robots
This paper studies a general class of formations of unicycle robots. One of the robots plays the role of the leader and the formation is induced through a constraint function F tha...
Luca Consolini, Fabio Morbidi, Domenico Prattichiz...
CPC
2011
219views Education» more  CPC 2011»
13 years 2 months ago
On Percolation and the Bunkbed Conjecture
We study a problem on edge percolation on product graphs G× K2. Here G is any finite graph and K2 consists of two vertices {0, 1} connected by an edge. Every edge in G × K2 is p...
Svante Linusson
COMMA
2010
13 years 2 months ago
Expanding Argumentation Frameworks: Enforcing and Monotonicity Results
This paper addresses the problem of revising a Dung-style argumentation framework by adding finitely many new arguments which may interact with old ones. We study the behavior of t...
Ringo Baumann, Gerhard Brewka
SCP
2011
341views Communications» more  SCP 2011»
13 years 2 months ago
A generic topology library
In the field of scientific computing there is a manifold of software applications and tools available which provide methods and libraries for the solution of very specific prob...
René Heinzl, Philipp Schwaha