2611 search results - page 315 / 523 » A Logic for Concepts and Similarity |
149
click to vote
LPNMR
2007
Springer
16 years 22 days ago
2007
Springer
This paper gives a summary of the First Answer Set Programming System Competition that was held in conjunction with the Ninth International Conference on Logic Programming and Nonm...
179
click to vote
TABLEAUX
2007
Springer
16 years 21 days ago
2007
Springer
Axiom pinpointing has been introduced in description logics (DLs) to help the user to understand the reasons why consequences hold and to remove unwanted consequences by computing ...
175
click to vote
DATE
2006
IEEE
16 years 19 days ago
2006
IEEE
We propose a novel methodology to generate Application Specific Instruction Processors (ASIPs) including custom instructions. Our implementation balances performance and area req...
134
click to vote
IEEECIT
2006
IEEE
16 years 18 days ago
2006
IEEE
As an important part of service-oriented software engineering, service retrieval receives much attention from industry and academia, but which still leaves much to be expected: ho...
157
click to vote
IPPS
2006
IEEE
16 years 18 days ago
2006
IEEE
Violations of a number of common safety properties of multithreaded programs–such as atomicity and absence of dataraces–cannot be observed by looking at the linear execution t...