3335 search results - page 329 / 667 » Grid result checking |
156
Voted
GI
2007
Springer
16 years 25 days ago
2007
Springer
: Negative information provides important additional knowledge that is not exploited for sensor data fusion tasks by default. This paper presents a new approach to incorporate such...
159
click to vote
KI
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We provide an interactive method for knowledge acquisition combining approaches from description logic and formal concept analysis. Based on present data, hypothetical ru...
172
click to vote
RULEML
2007
Springer
16 years 24 days ago
2007
Springer
Nowadays the increasing complexity of cars has become a major challenge due to the growing rate of electronic components and software. This trend has an impact on all phases of the...
194
click to vote
STACS
2007
Springer
16 years 24 days ago
2007
Springer
Hybrid logics extend modal logics by first-order concepts, in particular they allow a limited use of variables. Unfortunately, in general, satisfiability for hybrid formulas is u...
166
click to vote
AMAI
2004
Springer
16 years 2 days ago
2004
Springer
In this paper the use of graph isomorphism is investigated within the framework of symmetry breaking in constraint satisfaction problems. A running example of Comma-free codes is ...