Sciweavers

3941 search results - page 546 / 789
» Computational Efficiency of Batching Methods
Sort
View
AMAI
2008
Springer
15 years 18 days ago
Integrating answer set programming and constraint logic programming
We introduce a knowledge representation language AC(C) extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, ACsolver, ...
Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang
ANOR
2008
93views more  ANOR 2008»
15 years 18 days ago
Pruning in column generation for service vehicle dispatching
Abstract Column generation techniques have become a widely used technique to successfully solve large (integer) linear programs. One of the keys to obtaining a practically efficien...
Stephan Westphal, Sven Oliver Krumke
87
Voted
ANOR
2008
75views more  ANOR 2008»
15 years 18 days ago
Geometric decay in level-expanding QBD models
Level-expanding quasi-birth-and-death (QBD) processes have been shown to be an efficient modeling tool for studying multi-dimensional systems, especially twodimensional ones. Comp...
Liming Liu, Masakiyo Miyazawa, Yiqiang Q. Zhao
98
Voted
AUTOMATICA
2008
74views more  AUTOMATICA 2008»
15 years 18 days ago
Krylov projection framework for Fourier model reduction
This paper analyzes the Fourier model reduction (FMR) method from a rational Krylov projection framework and shows how the FMR reduced model, which has guaranteed stability and a ...
Serkan Gugercin, Karen Willcox
103
Voted
CONSTRAINTS
2008
107views more  CONSTRAINTS 2008»
15 years 17 days ago
A Constraint-Based Autonomous 3D Camera System
Camera control techniques for Interactive Digital Entertainment (IDE) are reaching their limits in terms of capabilities. To enable future growth, new methods must be derived to a...
Owen Bourne, Abdul Sattar, Scott D. Goodwin