1754 search results - page 210 / 351 » What's new in informatics |
SAT
2009
Springer
14 years 2 months ago
2009
Springer
We propose a new incomplete algorithm for the Maximum Satisfiability (MaxSAT) problem on unweighted Boolean formulas, focused specifically on instances for which proving unsatis...
SEMWEB
2009
Springer
14 years 2 months ago
2009
Springer
In many data-centric applications, it is desirable to use OWL as an expressive schema language with which one expresses constraints that must be satisfied by instance data. Howeve...
CANDC
2009
ACM
14 years 2 months ago
2009
ACM
We present a new survey metric, the Creativity Support Index (CSI) that is designed to help researchers and designers evaluate the level of creativity support provided by various ...
JCDL
2009
ACM
14 years 2 months ago
2009
ACM
This paper discusses new work to represent, in a digital library of classical sources, authors whose works themselves are lost and who survive only where surviving authors quote, ...
MM
2009
ACM
14 years 2 months ago
2009
ACM
Experiential image retrieval systems aim to provide the user with a natural and intuitive search experience. The goal is to empower the user to navigate large collections based on...