2713 search results - page 18 / 543 » Parameterized Tree Systems |
FOCS
2007
IEEE
14 years 4 months ago
2007
IEEE
We propose a proof-theoretic approach for gaining evidence that certain parameterized problems are not fixedparameter tractable. We consider proofs that witness that a given prop...
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
Combinatorial auctions have been studied by the multiagent systems community for some time, since these auctions are an effective mechanism for resource allocation when agents are...
FSS
2002
13 years 9 months ago
2002
Recently, various adaptive fuzzy control schemes have been proposed to deal with nonlinear systems whose dynamics are poorly understood by using the parameterized fuzzy approximat...
ICRA
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper presents an approach to learning an optimal behavioral parameterization in the framework of a Case-Based Reasoning methodology for autonomous navigation tasks. It is ba...
ISSTA
2004
ACM
14 years 3 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...