836 search results - page 108 / 168 » Description logic programs: combining logic programs with de... |
ICSE
2001
IEEE-ACM
15 years 2 months ago
2001
IEEE-ACM
In requirements elicitation, different stakeholders often hold different views of how a proposed system should behave, resulting in inconsistencies between their descriptions. Con...
LPNMR
2007
Springer
15 years 3 months ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
106
click to vote
TABLEAUX
1995
Springer
15 years 1 months ago
1995
Springer
In constraint logic programming, proof procedures for Horn clauses are enhanced with an interface to efficient constraint solvers. In this paper we show how to incorporate constra...
121
click to vote
WILF
2009
Springer
15 years 8 months ago
2009
Springer
With the wide diffusion of digital image acquisition devices,
the cost of managing hundreds of digital images is quickly increasing.
Currently, the main way to search digital ima...
VTS
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract: An optimization algorithm for the design of combinational circuits that are robust to single-event upsets (SEUs) is described. A simple, highly accurate model for the SEU...