740 search results - page 101 / 148 » Lower bounds for Buchsbaum* complexes |
174
click to vote
ICIP
2001
IEEE
16 years 7 months ago
2001
IEEE
The type of representation used in describing shape can have a significant impact on the effectiveness of a recognition strategy. Shape has been represented by its bounding curve ...
151
click to vote
SODA
2010
ACM
16 years 3 months ago
2010
ACM
We consider the complexity of sorting strings in the model that counts comparisons between symbols and not just comparisons between strings. We show that for any set of strings S ...
138
click to vote
CDC
2008
IEEE
16 years 22 days ago
2008
IEEE
— This paper is concerned with modeling, analysis and optimization/control of occupancy evolution in a large building. The main concern is efficient evacuation of a building in ...
138
click to vote
CSL
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. By introducing a parallel extension rule that is aware of independence of the introduced extension variables, a calculus for quantified propositional logic is obtained w...
184
click to vote
MST
2011
15 years 1 months ago
2011
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...