2214 search results - page 84 / 443 » Complexity of Reasoning |
CSL
2007
Springer
15 years 9 months ago
2007
Springer
Existing definitions of the relativizations of NC1 , L and NL do not preserve the inclusions NC1 ⊆ L, NL ⊆ AC1 . We start by giving the first definitions that preserve them....
128
Voted
ICDM
2005
IEEE
15 years 8 months ago
2005
IEEE
It is estimated that ninety percent of the world’s species have yet to be discovered and described. The main reason for the slow pace of new species description is that the scie...
107
click to vote
CSL
2003
Springer
15 years 8 months ago
2003
Springer
Constructive dimension and constructive strong dimension are effectivizations of the Hausdorff and packing dimensions, respectively. Each infinite binary sequence A is assigned...
127
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Learning event models from videos has applications ranging from abnormal event detection to content based video retrieval. Relational learning techniques such as Inductiv...
131
click to vote
JNSM
2010
14 years 10 months ago
2010
The Internet Protocol Security Architecture IPsec is hard to deploy in large, nested, or dynamic scenarios. The major reason for this is the need for manual configuration of the cr...