1795 search results - page 299 / 359 » On the Complexity of Circuit Satisfiability |
EACL
1989
ACL Anthology
13 years 11 months ago
1989
ACL Anthology
This paper presents a critical discussion of the various approaches that have been used in the evaluation of Natural Language systems. We conclude that previous approaches have ne...
ATVA
2010
Springer
13 years 11 months ago
2010
Springer
We study recursive timed automata that extend timed automata with recursion. Timed automata, as introduced by Alur and Dill, are finite automata accompanied by a finite set of real...
CAEPIA
2009
Springer
13 years 11 months ago
2009
Springer
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of close...
CCGRID
2010
IEEE
13 years 11 months ago
2010
IEEE
Current service-level agreements (SLAs) offered by cloud providers do not make guarantees about response time of Web applications hosted on the cloud. Satisfying a maximum average ...
ECAI
2010
Springer
13 years 11 months ago
2010
Springer
We study the problem of fairly dividing a set of goods amongst a group of agents, when those agents have preferences that are ordinal relations over alternative bundles of goods (r...