6740 search results - page 942 / 1348 » Using Classification as a Programming Language |
167
click to vote
SEFM
2005
IEEE
16 years 13 days ago
2005
IEEE
Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a flexible methodology for o...
173
click to vote
STEP
2005
IEEE
16 years 12 days ago
2005
IEEE
While the use of test-driven development as a debugging, pedagogic, and analytical methodology for objectoriented and procedural systems is well documented, it is a relatively une...
219
click to vote
AIIA
2005
Springer
16 years 12 days ago
2005
Springer
Machine Learning systems are often distinguished according to the kind of representation they use, which can be either propositional or first-order logic. The framework working wi...
168
click to vote
ICLP
2005
Springer
16 years 10 days ago
2005
Springer
Abduction is usually carried out on partially-defined predicates. In this paper we investigate abduction applied to fully-defined predicates, specifically linear arithmetic cons...
214
click to vote
ICLP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...