Sciweavers

1291 search results - page 25 / 259
» Computing the multiplicity structure in solving polynomial s...
Sort
View
HYBRID
2007
Springer
15 years 3 months ago
Distributed Hybrid Control for Multiple-Pursuer Multiple-Evader Games
Multiple-pursuer multiple-evader games raise fundamental and novel problems in control theory and robotics. In this paper, we propose a distributed solution to this problem that si...
Michael M. Zavlanos, George J. Pappas
TLCA
2007
Springer
15 years 5 months ago
Polynomial Size Analysis of First-Order Functions
We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely when the size of the result is determined exactly...
Olha Shkaravska, Ron van Kesteren, Marko C. J. D. ...
AGP
2003
IEEE
15 years 5 months ago
Transforming co-NP Checks to Answer Set Computation by Meta-Interpretation
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...
Thomas Eiter, Axel Polleres
SIGECOM
2003
ACM
128views ECommerce» more  SIGECOM 2003»
15 years 5 months ago
Solving combinatorial exchanges: optimality via a few partial bids
We investigate the problem of matching buyers and sellers in a multi-item multi-unit combinatorial exchange so as to maximize either the surplus (revenue minus cost) or the tradin...
Anshul Kothari, Tuomas Sandholm, Subhash Suri
ICASSP
2009
IEEE
14 years 9 months ago
A PARAFAC-based technique for detection and localization of multiple targets in a MIMO radar system
In this paper, we show that the problem of detection and localization of multiple targets in a bistatic MIMO radar system can be solved by Parallel Factor (PARAFAC) analysis. Our ...
Dimitri Nion, Nicholas D. Sidiropoulos