Sciweavers

2262 search results - page 110 / 453
» Points with large quadrant-depth
Sort
View
IJCAI
1989
15 years 7 months ago
Constraint Posting for Verifying VLSI Circuits
We apply constraint posting to the problem of reasoning about function from structure. Constraint posting is a technique used by some planners to coordinate decisions. At each dec...
Daniel Weise
CORR
2010
Springer
90views Education» more  CORR 2010»
15 years 6 months ago
New Criteria for Iterative Decoding
Iterative decoding was not originally introduced as the solution to an optimization problem rendering the analysis of its convergence very difficult. In this paper, we investigate...
Florence Alberge, Ziad Naja, Pierre Duhamel
EOR
2008
75views more  EOR 2008»
15 years 6 months ago
GRASP and path relinking for project scheduling under partially renewable resources
Recently, in the field of project scheduling problems the concept of partially renewable resources has been introduced. Theoretically, it is a generalization of both renewable and...
Ramón Alvarez-Valdés, Enric Crespo, ...
CORR
2007
Springer
133views Education» more  CORR 2007»
15 years 6 months ago
Space and camera path reconstruction for omni-directional vision
In this paper, we address the inverse problem of reconstructing a scene as well as the camera motion from the image sequence taken by an omni-directional camera. Our structure fro...
Oliver Knill, Jose Ramirez-Herran
PC
2008
158views Management» more  PC 2008»
15 years 6 months ago
Application of multistage stochastic programs solved in parallel in portfolio management
We present a multistage model for allocation of financial resources to bond indices in different currencies. The model was tested on historical data of interest and exchange rates...
Mária Lucká, Igor Melichercik, Ladis...