Sciweavers

9989 search results - page 1917 / 1998
» A CLP Approach to Modelling Systems
Sort
View
116
Voted
MP
2010
135views more  MP 2010»
15 years 2 months ago
An inexact Newton method for nonconvex equality constrained optimization
Abstract We present a matrix-free line search algorithm for large-scale equality constrained optimization that allows for inexact step computations. For sufficiently convex problem...
Richard H. Byrd, Frank E. Curtis, Jorge Nocedal
RTS
2010
103views more  RTS 2010»
15 years 2 months ago
LRE-TL: an optimal multiprocessor algorithm for sporadic task sets with unconstrained deadlines
This article presents a detailed discussion of LRE-TL (Local Remaining Execution - TL-plane), an algorithm that schedules hard real-time periodic and sporadic task sets with uncon...
Shelby Funk
SIAMSC
2010
144views more  SIAMSC 2010»
15 years 2 months ago
A Fully Implicit Domain Decomposition Algorithm for Shallow Water Equations on the Cubed-Sphere
Abstract. Popular approaches for solving the shallow water equations (SWE) for climate modeling are explicit and semi-implicit methods, both have certain constraints on the time st...
Chao Yang, Jianwen Cao, Xiao-Chuan Cai
TKDE
2010
210views more  TKDE 2010»
15 years 2 months ago
Structural and Role-Oriented Web Service Discovery with Taxonomies in OWL-S
—In this paper, we describe and evaluate a Web service discovery framework using OWL-S advertisements, combined with the distinction between service and Web service of the WSMO D...
Georgios Meditskos, Nick Bassiliades
CPAIOR
2010
Springer
15 years 2 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
« Prev « First page 1917 / 1998 Last » Next »