1426 search results - page 125 / 286 » Specification of nonmonotonic reasoning |
176
click to vote
ICML
2000
IEEE
16 years 7 months ago
2000
IEEE
Landmarking is a novel approach to describing tasks in meta-learning. Previous approaches to meta-learning mostly considered only statistics-inspired measures of the data as a sou...
294
Voted
POPL
2007
ACM
16 years 7 months ago
2007
ACM
This paper contributes to the development of techniques for the modular proof of programs that include concurrent algorithms. We present a proof of a non-blocking concurrent algor...
186
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
We build a generic methodology based on learning and reasoning to detect specific attitudes of human agents and patterns of their interactions. Human attitudes are determined in te...
192
click to vote
WER
2007
Springer
16 years 29 days ago
2007
Springer
Software inspections have proved to be an effective means to find faults in different software artifacts, and the application of software inspections on requirements specification...
216
click to vote
DATE
2006
IEEE
16 years 28 days ago
2006
IEEE
This paper presents an Application Specific Instruction Set Processor (ASIP) design for the implementation of a class of nonlinear image processing algorithms, the Retinex-like fi...