9726 search results - page 1580 / 1946 » An Approach to Optimize Data Processing in Business Processe... |
184
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
Graph matching is a classical problem in pattern recognition with many applications, particularly when the graphs are embedded in Euclidean spaces, as is often the case for comput...
170
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
187
click to vote
ADMI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this work, we describe the process used in order to predict the bidding strategy of trading agents. This was done in the context of the Reverse TAC, or CAT, game of th...
197
click to vote
ASAP
2006
IEEE
16 years 27 days ago
2006
IEEE
Abstract – The storage requirements in data-dominant signal processing systems, whose behavior is described by arraybased, loop-organized algorithmic specifications, have an imp...
167
click to vote
ICMCS
2006
IEEE
16 years 26 days ago
2006
IEEE
Three-dimensional data generated from range scanners is usually composed of a huge amount of information. Simplification and compression techniques must be adopted in order to red...