13603 search results - page 374 / 2721 » On the Computational Complexity of Cut-Reduction |
203
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
We describe a method of representing human activities that allows a collection of motions to be queried without examples, using a simple and effective query language. Our approach...
229
click to vote
DCC
2008
IEEE
16 years 7 months ago
2008
IEEE
Let Fq be a finite field and consider an extension Fqn where an optimal normal element exists. Using the trace of an optimal normal element in Fqn , we provide low complexity norma...
206
Voted
STACS
2009
Springer
16 years 2 months ago
2009
Springer
The paper investigates the power of the dynamic complexity classes DynFO, DynQF and DynPROP over string languages. The latter two classes contain problems that can be maintained us...
213
click to vote
ICCS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In-stent restenosis, the maladaptive response of a blood vessel to injury caused by the deployment of a stent, is a multiscale problem involving a large number of process...
183
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
In order to provide certified security services we must provide indicators that can measure the level of assurance that a complex business process can offer. Unfortunately the fo...