451 search results - page 28 / 91 » On Parameterized Exponential Time Complexity |
ENTCS
2008
13 years 10 months ago
2008
We describe some results inspired to Lafont's Soft Linear Logic (SLL) which is a subsystem of second-order linear logic with restricted rules for exponentials, correct and co...
ASYNC
2002
IEEE
14 years 2 months ago
2002
IEEE
Advanced clock-delayed1 and self-resetting domino circuits are becoming increasingly important design styles in aggressive synchronous as well as asynchronous design. Their design...
SG
2005
Springer
14 years 3 months ago
2005
Springer
Parametric design systems model a design as a constrained collection of schemata. Designers work in such systems at two levels: definition of schemata and constraints; and search w...
ISCAS
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract— Sufficient conditions for stability of time-varying 1D systems are already well established. This work treats the 2-D case in an approach that parallels that of the 1-...
IJCAI
2001
13 years 11 months ago
2001
A general and expressive model of sequential decision making under uncertainty is provided by the Markov decision processes (MDPs) framework. Complex applications with very large ...