Sciweavers

1494 search results - page 216 / 299
» Kernels for Global Constraints
Sort
View
92
Voted
TOG
2008
95views more  TOG 2008»
15 years 13 days ago
Spectral quadrangulation with orientation and alignment control
This paper presents a new quadrangulation algorithm, extending the spectral surface quadrangulation approach where the coarse quadrangular structure is derived from the Morse-Smal...
Jin Huang, Muyang Zhang, Jin Ma, Xinguo Liu, Leif ...
TON
2008
121views more  TON 2008»
15 years 13 days ago
A framework for mitigating attacks against measurement-based adaptation mechanisms in unstructured multicast overlay networks
Many multicast overlay networks maintain application-specific performance goals by dynamically adapting the overlay structure when the monitored performance becomes inadequate. Thi...
Aaron Walters, David Zage, Cristina Nita-Rotaru
75
Voted
OR
2002
Springer
15 years 6 days ago
Sharpe style analysis in the msci sector portfolios: a monte carlo integration approach
We examine a decision-theoretic Bayesian framework for the estimation of Sharpe Style portfolio weights of the MSCI sector returns. Following van Dijk and Kloek (1980) an appropri...
George A. Christodoulakis
CPAIOR
2010
Springer
14 years 10 months ago
Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving
Finite domain propagation solving, the basis of constraint programming (CP) solvers, allows building very high-level models of problems, and using highly specific inference encapsu...
Peter J. Stuckey
FSTTCS
2010
Springer
14 years 10 months ago
Model checking time-constrained scenario-based specifications
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
S. Akshay, Paul Gastin, Madhavan Mukund, K. Naraya...