2448 search results - page 254 / 490 » The Octahedron Abstract Domain |
177
click to vote
CAISE
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
179
click to vote
CICLING
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. In order to extend the application domain of natural language interfaces to more realistic tasks without the decrease of user’s performance, it is desirable for users t...
199
click to vote
CMMR
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. In this paper, we present an approach for musical artist recommendation based on Self-Organizing Maps (SOMs) of artist reviews from Amazon web site. The Amazon reviews fo...
179
click to vote
CP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Although algorithms for Distributed Constraint Optimization Problems (DCOPs) have emerged as a key technique for distributed reasoning, their application faces significa...
194
click to vote
CP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. The paper presents a new look-ahead scheme for backtracking search for solving constraint satisfaction problems. This look-ahead scheme computes a heuristic for value ord...