1455 search results - page 199 / 291 » Programming in Logic with Constraints for Natural Language P... |
114
click to vote
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
In this article we provide an embedding of an interaction-based service notion into UML2. Such an embedding is needed, because to this date, UML2 has only limited support for servi...
146
Voted
ICCAD
2006
IEEE
16 years 13 days ago
2006
IEEE
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 robustne...
122
click to vote
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
In this paper a novel approach for semi-supervised hyperspectral unmixing is presented. First, it is shown that this problem inherently accepts a sparse solution. Then, based on t...
140
Voted
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...
121
click to vote
AMAI
2004
Springer
15 years 9 months ago
2004
Springer
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...