3119 search results - page 448 / 624 » General Default Logic |
176
click to vote
ICAIL
2009
ACM
16 years 1 months ago
2009
ACM
Automatic Decision Support Systems (DSS) are widely adopted for screening purposes in socially sensitive tasks, including access to credit, mortgage, insurance, labor market and o...
199
click to vote
KCAP
2009
ACM
16 years 1 months ago
2009
ACM
Curating information from the literature for storage in databases is a crucial task in biological research, and many groups assign a particular person or team to that process. We ...
180
click to vote
CADE
2007
Springer
16 years 21 days ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
167
click to vote
DRM
2007
Springer
16 years 20 days ago
2007
Springer
The goal of obfuscation is to transform a program, without affecting its functionality, such that some secret information within the program can be hidden for as long as possible...
159
click to vote
FPGA
2007
ACM
16 years 20 days ago
2007
ACM
Boolean matching (BM) is a widely used technique in FPGA resynthesis and architecture evaluation. In this paper we present several improvements to the recently proposed SAT-based ...