Sciweavers

6102 search results - page 34 / 1221
» Generating Optimizing Specializers
Sort
View
ISSAC
1997
Springer
194views Mathematics» more  ISSAC 1997»
13 years 12 months ago
The Minimised Geometric Buchberger Algorithm: An Optimal Algebraic Algorithm for Integer Programming
IP problems characterise combinatorial optimisation problems where conventional numerical methods based on the hill-climbing technique can not be directly applied. Conventional me...
Qiang Li, Yike Guo, Tetsuo Ida, John Darlington
IIE
2007
120views more  IIE 2007»
13 years 7 months ago
Words are Silver, Mouse-Clicks are Gold? (or how to optimize the level of language formalization of young students in a Logo-bas
How do we teach children to express and communicate ideas in a formal and informal mode? What type of language do they need in a concrete context? How should they determine a prope...
Evgenia Sendova, Toni Chehlarova, Pavel Boytchev
SAT
2009
Springer
97views Hardware» more  SAT 2009»
14 years 2 months ago
Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates
Javier Larrosa, Robert Nieuwenhuis, Albert Olivera...
EOR
2002
74views more  EOR 2002»
13 years 7 months ago
Modeling multistage cutting stock problems
In multistage cutting stock problems (CSP) the cutting process is distributed over several successive stages. Every stage except the last one produces intermediate products. The l...
Eugene J. Zak
VLDB
2006
ACM
162views Database» more  VLDB 2006»
14 years 8 months ago
Dependency trees in sub-linear time and bounded memory
We focus on the problem of efficient learning of dependency trees. Once grown, they can be used as a special case of a Bayesian network, for PDF approximation, and for many other u...
Dan Pelleg, Andrew W. Moore