Sciweavers

1547 search results - page 97 / 310
» Solving Knapsack Problems in a Sticker Based Model
Sort
View
SAC
2006
ACM
15 years 9 months ago
Towards a model-driven join point model
Aspect–Oriented Programming (AOP) is increasingly being adopted by developers to better modularize object–oriented design by introducing crosscutting concerns. However, due to...
Walter Cazzola, Antonio Cicchetti, Alfonso Pierant...
184
Voted
LPAR
2012
Springer
13 years 11 months ago
The TPTP Typed First-Order Form with Arithmetic
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Pe...
115
Voted
EOR
2007
101views more  EOR 2007»
15 years 3 months ago
Using aggregation to optimize long-term production planning at an underground mine
Motivated by an underground mining operation at Kiruna, Sweden, we formulate a mixed integer program to schedule iron ore production over multiple time periods. Our optimization m...
Alexandra M. Newman, Mark Kuchta
124
Voted
ICPR
2010
IEEE
15 years 7 months ago
Human Pose Estimation for Multiple Persons Based on Volume Reconstruction
—Most of the development of pose recognition focused on a single person. However, many applications of computer vision essentially require the estimation of multiple people. Henc...
Xinghan Luo
EOR
2008
103views more  EOR 2008»
15 years 3 months ago
New complexity analysis of IIPMs for linear optimization based on a specific self-regular function
Primal-dual Interior-Point Methods (IPMs) have shown their ability in solving large classes of optimization problems efficiently. Feasible IPMs require a strictly feasible startin...
Maziar Salahi, M. Reza Peyghami, Tamás Terl...