2412 search results - page 246 / 483 » Which Problems Have Strongly Exponential Complexity |
108
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Failures in plan execution can be attributed to errors in the execution of plan steps or violations of the plan structure. The structure of a plan prescribes which actions have to...
128
click to vote
IEEEARES
2008
IEEE
15 years 10 months ago
2008
IEEE
Existing undecidability proofs of checking secrecy of cryptographic protocols have the limitations of not considering protocols common in literature, which are in the form of comm...
140
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
This paper presents a theoretical study of decentralized control for sensing-based shape formation on modular multirobot systems, where the desired shape is specified in terms of ...
145
click to vote
ESWA
2007
15 years 3 months ago
2007
Understanding the sequence-to-structure relationship is a central task in bioinformatics research. Adequate knowledge about this relationship can potentially improve accuracy for ...
117
click to vote
STOC
2005
ACM
15 years 9 months ago
2005
ACM
This paper focuses on competitive function evaluation in the context of computing with priced information. A function f is given together with a cost cx for each variable x of f. ...