2214 search results - page 80 / 443 » Complexity of Reasoning |
142
click to vote
ICCV
2011
IEEE
14 years 3 months ago
2011
IEEE
Videos usually consist of activities involving interactions between multiple actors, sometimes referred to as complex activities. Recognition of such activities requires modeling ...
139
click to vote
CSFW
2011
IEEE
14 years 2 months ago
2011
IEEE
—In this paper, we investigate the computational complexity of quantitative information flow (QIF) problems. Information-theoretic quantitative relaxations of noninterference (b...
124
click to vote
SSD
2007
Springer
15 years 9 months ago
2007
Springer
Topological relationships between spatial objects are important for querying, reasoning, and indexing of data within spatial databases. These relationships are qualitative and resp...
133
click to vote
ICNP
2005
IEEE
15 years 8 months ago
2005
IEEE
straction of Complex Network Compositions∗ Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, and Ibrahim Matta Department of Computer Science Boston University The heterogeneity...
116
click to vote
TAPSOFT
1997
Springer
15 years 7 months ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...