5244 search results - page 515 / 1049 » Structural Complexity of AvgBPP |
196
click to vote
CC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We introduce a new framework for elimination-based data flow analysis. We present a simple algorithm and a delayed algorithm that exhibit a worstcase complexity of O(n2 ...
182
click to vote
EEMMAS
2007
Springer
16 years 1 months ago
2007
Springer
We investigate the application of a logic-based framework representing an agent environment as a composite structure that evolves over time. Such a complex structure contains the i...
190
click to vote
SAMT
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Multimodal and dialogue-based mobile interfaces to the Semantic Web offer access to complex knowledge and information structures. We explore more fine-grained co-ordina...
211
click to vote
VMCAI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...
189
click to vote
MOZ
2004
Springer
16 years 16 days ago
2004
Springer
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...