3679 search results - page 294 / 736 » Answer set based design of knowledge systems |
189
click to vote
LOGCOM
2000
15 years 7 months ago
2000
We introduce the concept of reflection principle as a knowledge representation paradigm in a computational logic setting. Reflection principles are expressed as certain kinds of l...
180
click to vote
CICLING
2007
Springer
16 years 1 months ago
2007
Springer
The present paper describes how dependency analysis can be used to automatically extract from a corpus a set of cases - and an accompanying vocabulary - which enable a template-bas...
206
click to vote
ARC
2011
Springer
15 years 2 months ago
2011
Springer
Abstract. In this paper, we take a MIPS-based open-source uniprocessor soft core, Plasma, and extend it to obtain the Beefarm infrastructure for FPGA-based multiprocessor emulation...
204
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
—In the realm of satellite communications, one of the great impairments to increase the spectral efficiency is multi-user interference in the reverse link (mobile to satellite). ...
193
click to vote
ENTCS
2007
15 years 7 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...