2446 search results - page 185 / 490 » Choiceless Polynomial Time |
ICDE
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper, we study the problem of auditing a batch of SQL queries: given a set of SQL queries that have been posed over a database, determine whether some subset of these quer...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
— We consider the problem of generating global feasible trajectories for nonholonomic mobile robots in the presence of moving obstacles. The global trajectory is composed of regi...
IPCCC
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper focuses on network coding based multirate multimedia streaming in directed networks and aims at maximizing the total layers received by all receivers, which directly de...
ITNG
2007
IEEE
14 years 2 months ago
2007
IEEE
A block-interchange is a rearrangement event that exchanges two, not necessarily consecutive, contiguous regions in a genome, maintaining the original orientation. Signed reversal...
LICS
2007
IEEE
14 years 2 months ago
2007
IEEE
We show that tree-like (Gentzen’s calculus) PK where all cut formulas have depth at most a constant d does not simulate cut-free PK. Generally, we exhibit a family of sequents t...