1554 search results - page 172 / 311 » cases 2003 |
235
click to vote
ICLP
2003
Springer
16 years 6 days ago
2003
Springer
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...
168
Voted
ICLP
2003
Springer
16 years 6 days ago
2003
Springer
We propose and study algorithms for computing minimal models, stable models and answer sets of 2- and 3-CNF theories, and normal and disjunctive 2- and 3-programs. We are especiall...
161
click to vote
DGO
2003
15 years 8 months ago
2003
Statistical models fit to data often require extensive and challenging re-estimation before achieving final form. For example, outliers can adversely affect fits. In other cas...
209
click to vote
ICWS
2003
IEEE
15 years 8 months ago
2003
IEEE
Semantic Web technology has a vision to define and link Web data in a way that it can be understood and used by machines for automation, integration and reuse of data across variou...
171
Voted
IJCAI
2003
15 years 8 months ago
2003
Many of standard practical techniques of solving constraint satisfaction problems use various decomposition methods to represent a problem as a combination of smaller ones. We stu...