1071 search results - page 9 / 215 » Theories of Automatic Structures and Their Complexity |
100
Voted
PDP
2002
IEEE
15 years 2 months 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
15 years 2 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...
128
click to vote
CVPR
2012
IEEE
13 years 1 days 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
15 years 1 months 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
14 years 9 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...