4617 search results - page 595 / 924 » Automation of Diagrammatic Reasoning |
220
click to vote
FLOPS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. The paper "Scrap your boilerplate" (SYB) introduces a combinator library for generic programming that offers generic traversals and queries. Classically, suppor...
212
click to vote
AMAI
2000
Springer
15 years 11 months ago
2000
Springer
This paper proposes new algorithms for the Binate Covering Problem (BCP), a well-known restriction of Boolean Optimization. Binate Covering finds application in many areas of Comp...
193
click to vote
CL
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
180
click to vote
EWCBR
2000
Springer
15 years 11 months ago
2000
Springer
An important focus of recent CBR research is on how to develop strategies for achieving compact, competent case-bases, as a way to improve the performance of CBR systems. However, ...
200
Voted
EWCBR
2000
Springer
15 years 11 months ago
2000
Springer
Lessons learned processes, and software systems that support them, have been developed by many organizations (e.g., all USA military branches, NASA, several Department of Energy or...