11436 search results - page 564 / 2288 » Modeling Real Reasoning |
178
click to vote
CCIA
2005
Springer
16 years 25 days ago
2005
Springer
One of the main keys in case-based reasoning system is the retrieval phase, where the most similar cases are retrieved by means of a similarity function. According to the problem, ...
215
click to vote
ICCBR
2005
Springer
16 years 23 days ago
2005
Springer
Small to medium enterprises require an internal control mechanism in order to monitor their modus operandi and to analyse whether they are achieving their goals. A tool for the dec...
210
click to vote
ICCBR
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. For the improvement of software quality and productivity, organizations need to systematically build up and reuse software engineering know-how, promoting organizational ...
218
click to vote
CSL
2006
Springer
15 years 11 months ago
2006
Springer
Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap struc...
204
click to vote
JAIR
2008
15 years 7 months ago
2008
Ontologies and automated reasoning are the building blocks of the Semantic Web initiative. Derivation rules can be included in an ontology to define derived concepts based on base...