Sciweavers

2834 search results - page 262 / 567
» Representing Trees with Constraints
Sort
View
116
Voted
AMW
2009
15 years 2 months ago
Checking Containment of Schema Mappings (Preliminary Report)
In data exchange, data are materialised from a source schema to a target schema, according to suitable source-to-target constraints. Constraints are also expressed on the target sc...
Andrea Calì, Riccardo Torlone
117
Voted
CORR
2008
Springer
107views Education» more  CORR 2008»
15 years 1 months ago
Symmetry Breaking for Maximum Satisfiability
Symmetries are intrinsic to many combinatorial problems including Boolean Satisfiability (SAT) and Constraint Programming (CP). In SAT, the identification of symmetry breaking pred...
João Marques-Silva, Inês Lynce, Vasco...
108
Voted
4OR
2004
79views more  4OR 2004»
15 years 29 days ago
Constrained auction clearing in the Italian electricity market
Most of the liberalized electricity systems use the auction as a market model. The complexity of the underlying optimization formulation depends on the technical and regulatory con...
Patrizia Beraldi, Domenico Conforti, Chefi Triki, ...
108
Voted
CONSTRAINTS
1998
62views more  CONSTRAINTS 1998»
15 years 23 days ago
Learning Game-Specific Spatially-Oriented Heuristics
This paper describes an architecture that begins with enough general knowledge to play any board game as a novice, and then shifts its decision-making emphasis to learned, game-sp...
Susan L. Epstein, Jack Gelfand, Esther Lock
111
Voted
CMPB
2010
171views more  CMPB 2010»
14 years 8 months ago
Metabolica: A statistical research tool for analyzing metabolic networks
Steady state flux balance analysis (FBA) for cellular metabolism is used, e.g., to seek information on the activity of the different pathways under equilibrium conditions, or as a...
Jenni Heino, Daniela Calvetti, Erkki Somersalo