1632 search results - page 81 / 327 » On special numberings of hypergraphs |
158
click to vote
ESOP
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...
150
click to vote
IPPS
2006
IEEE
16 years 11 days ago
2006
IEEE
We give an overview of the algorithms and implementations in the high-performance MPI libraries MPI/SX and MPI/ES of some of the most important collective operations of MPI (the M...
191
click to vote
MIR
2006
ACM
16 years 9 days ago
2006
ACM
Multimedia Information Retrieval (IR) techniques and associated systems are now numerous and justify the development of strategies and actions to objectively evaluate their capabi...
158
click to vote
CODES
2005
IEEE
15 years 12 months ago
2005
IEEE
The ability to continue increasing processor frequency and single thread performance is being severely limited by exponential increases in leakage and active power. To continue to...
149
click to vote
EWCBR
2004
Springer
15 years 11 months ago
2004
Springer
Model-based object recognition is a well-known task in Computer Vision. Usually, one object that can be generalized by a model should be detected in an image based on this model. B...