314 search results - page 24 / 63 » Complete Problems for Dynamic Complexity Classes |
CSL
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. A positive temporal template (or a positive temporal constraint language) is a relational structure whose relations can be defined over countable dense linear order witho...
EDBT
2004
ACM
15 years 9 months ago
2004
ACM
We study the problem of answering queries over sources with limited access patterns. The problem is to decide whether a given query Q is feasible, i.e., equivalent to an executable...
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
CASCON
2006
14 years 11 months ago
2006
Coupling measures have important applications in software development and maintenance. They are used to reason about the structural complexity of software and have been shown to p...
78
Voted
ICDE
2011
IEEE
14 years 1 months ago
2011
IEEE
—In this paper, we address the problem of answering continuous route planning queries over a road network, in the presence of updates to the delay (cost) estimates of links. A si...