4573 search results - page 716 / 915 » Automated Reasoning |
130
click to vote
ILP
2003
Springer
15 years 8 months ago
2003
Springer
Query optimization is used frequently in relational database management systems. Most existing techniques are based on reordering the relational operators, where the most selective...
144
Voted
IDEAS
2002
IEEE
15 years 8 months ago
2002
IEEE
Boolean expression simplification is a well-known problem in the history of Computer Science. The problem of determining prime implicates from an arbitrary Boolean expression has...
127
Voted
DALT
2009
Springer
15 years 8 months ago
2009
Springer
We continue the work initiated in [1–3], where the acceptance logic, a modal logic for modelling individual and collective acceptances was introduced. This logic is aimed at capt...
127
Voted
ECSQARU
2009
Springer
15 years 8 months ago
2009
Springer
We consider the problem of inference from multinomial data with chances θ, subject to the a-priori information that the true parameter vector θ belongs to a known convex polytope...
120
click to vote
LPNMR
2009
Springer
15 years 8 months ago
2009
Springer
Identifying maternal and paternal inheritance is essential to be able to find the set of genes responsible for a particular disease. However, due to technological limitations, we ...