4067 search results - page 258 / 814 » Programs for Applying Symmetries |
138
click to vote
EUSFLAT
2003
15 years 8 months ago
2003
We revise the classic methodology to find the multi-product break-even point. In the current paper we propose a solution to the problem under uncertainty conditions, based on DurĂ...
185
click to vote
DPD
2002
15 years 6 months ago
2002
Web caching has been proposed as an effective solution to the problems of network traffic and congestion, Web objects access and Web load balancing. This paper presents a model for...
221
click to vote
ISVC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We propose an improved shape matching algorithm that extends the work of Felzenszwalb [3]. In this approach, we use triangular meshes to represent deformable objects and ...
164
click to vote
SAS
2010
Springer
15 years 5 months ago
2010
Springer
Numerical Abstract Domains via Principal Component Analysis Gianluca Amato, Maurizio Parton, and Francesca Scozzari Universit`a di Chieti-Pescara – Dipartimento di Scienze We pro...
200
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
To prove termination of Java Bytecode (JBC) automatically, we transform JBC to finite termination graphs which represent all possible runs of the program. Afterwards, the graph can...