5244 search results - page 35 / 1049 » Structural Complexity of AvgBPP |
CORR
2008
Springer
13 years 8 months ago
2008
Springer
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic
VLDB
2002
ACM
13 years 8 months ago
2002
ACM
All existing proposals for querying XML (e.g., XQuery) rely on a pattern-specification language that allows (1) path navigation and branching through the label structure of the XM...
CISST
2003
13 years 10 months ago
2003
This paper addresses computational efficiency issues of a new algebraic method for imagery registration/conflation. An algebraic approach to conflation/registration of images does ...
DLT
2007
13 years 10 months ago
2007
Abstract. We investigate the state complexity of union and intersection for finite languages. Note that the problem of obtaining the tight bounds for both operations was open. We ...
LREC
2008
13 years 10 months ago
2008
We describe a new multimodal corpus currently under development. The corpus consists of videos of task-oriented dialogues that are annotated for speaker's verbal requests and...