Sciweavers

26151 search results - page 30 / 5231
» Parameterized system design
Sort
View
FOCS
2007
IEEE
14 years 2 months ago
Parameterized Proof Complexity
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...
Stefan S. Dantchev, Barnaby Martin, Stefan Szeider
EURODAC
1994
IEEE
116views VHDL» more  EURODAC 1994»
13 years 12 months ago
A performance evaluator for parameterized ASIC architectures
System-levelpartitioning assigns functionalobjects such as tasks or code segments to system-level components such as o-the-shelf processors or application-speci c architectures in...
Jie Gong, Daniel D. Gajski, Alex Nicolau
FSS
2002
120views more  FSS 2002»
13 years 7 months ago
Robust fuzzy control of nonlinear systems using shape-adaptive radial basis functions
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...
Hugang Han, Chun-Yi Su
ICRA
2002
IEEE
105views Robotics» more  ICRA 2002»
14 years 20 days ago
Learning Behavioral Parameterization using Spatio-Temporal Case-Based Reasoning
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...
Maxim Likhachev, Michael Kaess, Ronald C. Arkin
DAC
2008
ACM
14 years 8 months ago
Parameterized timing analysis with general delay models and arbitrary variation sources
Many recent techniques for timing analysis under variability, in which delay is an explicit function of underlying parameters, may be described as parameterized timing analysis. T...
Khaled R. Heloue, Farid N. Najm