Sciweavers

1963 search results - page 209 / 393
» Applications of Preferences using Answer Set Programming
Sort
View
112
Voted
IPCO
2001
117views Optimization» more  IPCO 2001»
15 years 4 months ago
Pruning by Isomorphism in Branch-and-Cut
The paper presents a branch-and-cut for solving (0, 1) integer linear programs having a large symmetry group. The group is used for pruning the enumeration tree and for generating ...
François Margot
117
Voted
ENTCS
2007
109views more  ENTCS 2007»
15 years 2 months ago
Hybrid Logics and Ontology Languages
Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications, they are perhaps best known as the basis for ...
Ian Horrocks, Birte Glimm, Ulrike Sattler
172
Voted
USS
2010
15 years 13 days ago
Toward Automated Detection of Logic Vulnerabilities in Web Applications
Web applications are the most common way to make services and data available on the Internet. Unfortunately, with the increase in the number and complexity of these applications, ...
Viktoria Felmetsger, Ludovico Cavedon, Christopher...
145
Voted
EPIA
1999
Springer
15 years 6 months ago
Combinatorial Optimization in OPL Studio
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the first modeling language to combine high-level algebraic and set notation...
Pascal Van Hentenryck, Laurent Michel, Philippe La...
97
Voted
SOFTWARE
2002
15 years 2 months ago
Quality Attributes of Web Software Applications
In only four or five years, the world wide web has changed from a static collection of HTML web pages to a dynamic engine that powers e-commerce, collaborative work, and distribut...
A. Jefferson Offutt