3566 search results - page 269 / 714 » Signed Logic Programs |
117
click to vote
CIE
2010
Springer
15 years 8 months ago
2010
Springer
This paper discusses Curry’s work on how to implement the problem of inverse interpolation on the ENIAC (1946) and his subsequent work on developing a theory of program compositi...
142
click to vote
ICALP
2007
Springer
15 years 9 months ago
2007
Springer
Ring signatures, introduced by Rivest, Shamir and Tauman, enable a user to sign a message anonymously on behalf of a “ring”. A ring is a group of users, which includes the sign...
117
click to vote
UM
2007
Springer
15 years 9 months ago
2007
Springer
In the classroom, teachers know how to motivate their students and how to exploit this knowledge to adapt or optimize their instruction when a student shows signs of demotivation. ...
120
click to vote
AUIC
2006
IEEE
15 years 9 months ago
2006
IEEE
User interface designers still have to rely on personal creativity and skill when designing computer icons for program functions that have no existing conventional representation....
127
click to vote
RWEB
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Answer Set Programming (ASP) is a declarative problem solving paradigm, rooted in Logic Programming and Nonmonotonic Reasoning, which has been gaining increasing attentio...