971 search results - page 108 / 195 » Approximate Satisfiability and Equivalence |
116
Voted
ICWS
2008
IEEE
15 years 2 months ago
2008
IEEE
Web services composition has been gaining interest over the last years as it leverages the capabilities to offer complex operations resulting from the aggregation of Web services ...
100
click to vote
PUK
2001
15 years 2 months ago
2001
Combination of AI/OR methods is gaining a great deal of attention because many combinatorial problems especially in planning and scheduling areas can be solved by means of combined...
100
Voted
AAAI
1998
15 years 2 months ago
1998
Despite much research that has been done on constraint satisfaction problems (CSP's), the framework is sometimes inflexible and the results are not very satisfactory when app...
93
Voted
CASCON
1997
15 years 2 months ago
1997
Often, software architects impose a particular style on the software systems they design. For large software systems, they would like to ensure that the design continues to confor...
137
Voted
ACS
2008
15 years 27 days ago
2008
Algebras and coalgebras are fundamental notions for large parts of mathematics. The basic constructions from universal algebra are now expressed in the language of categories and ...