1071 search results - page 9 / 215 » Theories of Automatic Structures and Their Complexity |
PDP
2002
IEEE
14 years 27 days ago
2002
IEEE
Despite the explosive new interest in Distributed Computing, bringing software — particularly legacy software — to parallel platforms remains a daunting task. The Self Distrib...
WEBI
2004
Springer
14 years 1 months ago
2004
Springer
The semi-structured information available in HTML and similar documents provide valuable information that can be used for information extraction applications. This information tog...
CVPR
2012
IEEE
11 years 10 months ago
2012
IEEE
In this paper, we tackle the problem of understanding the temporal structure of complex events in highly varying videos obtained from the Internet. Towards this goal, we utilize a...
FSTTCS
1992
Springer
14 years 1 days ago
1992
Springer
Levin introduced an average-case complexity measure, based on a notion of \polynomialon average," and de ned \average-case polynomial-time many-one reducibility" amongra...
ENTCS
2006
13 years 8 months ago
2006
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...