1757 search results - page 127 / 352 » Integrating and Extending JCSP |
COMPSAC
2004
IEEE
15 years 1 months ago
2004
IEEE
The emerging service grids bring together various distributed application-level services to a `market' for clients to request and enable the integration of services across di...
ECTEL
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Given the huge amount of static and dynamic content created for eLearning tasks, the major challenge for extending their use is to improve the effectiveness of retrieval ...
ERSHOV
2006
Springer
15 years 1 months ago
2006
Springer
We integrate a logic programming language into Meta-S, a flexible and extendable constraint solver cooperation system, by treating resolution as constraint solver. This new approac...
COMPGEOM
2001
ACM
15 years 1 months ago
2001
ACM
We present algorithms for constructing a hierarchy of increasingly coarse Morse complexes that decompose a piecewise linear 2-manifold. While Morse complexes are defined only in t...
TABLEAUX
2000
Springer
15 years 1 months ago
2000
Springer
We present an approach to inductive theorem proving that integrates rippling-based rewriting into matrix-based logical proof search. The selection of appropriate connections in a m...