Sciweavers

2032 search results - page 119 / 407
» Encodings of the Sequence Constraint
Sort
View
CP
2003
Springer
15 years 11 months ago
Solving Max-SAT as Weighted CSP
For the last ten years, a significant amount of work in the constraint community has been devoted to the improvement of complete methods for solving soft constraints networks. We ...
Simon de Givry, Javier Larrosa, Pedro Meseguer, Th...
ACL
2008
15 years 7 months ago
Enforcing Transitivity in Coreference Resolution
A desirable quality of a coreference resolution system is the ability to handle transitivity constraints, such that even if it places high likelihood on a particular mention being...
Jenny Rose Finkel, Christopher D. Manning
GECCO
2008
Springer
131views Optimization» more  GECCO 2008»
15 years 7 months ago
The study for transportation planning considered the inventory using hybrid genetic algorithm
The transportation planning (TP) is well-known basic network problem. However, for some real-world applications, it is often that the TP model is extended to satisfy other additio...
Shinichiro Ataka, Mitsuo Gen
ICHIT
2009
Springer
16 years 29 days ago
A genetic algorithm approach for a constrained employee scheduling problem as applied to employees at mall type shops
In this application of artificial intelligence to a real-world problem, the constrained scheduling of employee resourcing for a mall type shop is solved by means of a genetic algo...
Adrian Brezulianu, Monica Fira, Lucian Fira
TPHOL
2002
IEEE
15 years 11 months ago
A Proposal for a Formal OCL Semantics in Isabelle/HOL
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
Achim D. Brucker, Burkhart Wolff