1634 search results - page 293 / 327 » Reasoning about Knowledge Using Rough Sets |
AI
2011
Springer
13 years 2 months ago
2011
Springer
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
AIS
2004
Springer
14 years 1 months ago
2004
Springer
This project implements an integrated biological information website that classifies technical documents, learns about users' interests, and offers intuitive interactive visua...
VLDB
2007
ACM
14 years 8 months ago
2007
ACM
This paper introduces a class of conditional inclusion dependencies (CINDs), which extends traditional inclusion dependencies (INDs) by enforcing bindings of semantically related ...
ESOP
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. There are many settings in which sensitive information is made available to a system or organisation for a specific purpose, on the understanding that it will be erased o...
DAC
2007
ACM
14 years 8 months ago
2007
ACM
Despite the impressive progress of logic synthesis in the past decade, finding the best architecture for a given circuit still remains an open problem and largely unsolved. In mos...