2448 search results - page 160 / 490 » The Octahedron Abstract Domain |
CP
2000
Springer
14 years 19 days ago
2000
Springer
Abstract. Among backtracking based algorithms for constraint satisfaction problems (CSPs), algorithms employing constraint propagation, like forward checking (FC) and MAC, have had...
HT
1997
ACM
14 years 14 days ago
1997
ACM
The hypermedia field has long realized the need for firstructural abstractions. However, we have failed to generalize the concept of ubiquitous structure management to problem dom...
ICLP
1993
Springer
14 years 11 days ago
1993
Springer
nt an abstract instruction set for a constraint solver over finite domains, which can be smoothly integrated in the WAM architecture. It is based on the use of a single primitive...
CONTEXT
2007
Springer
14 years 7 days ago
2007
Springer
Abstract. One of the key factors for effective personalization of information access is the user context. We propose a framework which integrates several critical elements that mak...
SIGIR
2010
ACM
14 years 5 days ago
2010
ACM
This paper presents a novel prototype hierarchy based clustering (PHC) framework for the organization of web collections. It solves simultaneously the problem of categorizing web ...