4386 search results - page 256 / 878 » A Tamper-Resistant Programming Language System |
125
click to vote
UM
2001
Springer
15 years 7 months ago
2001
Springer
This paper describes an integrated approach for interpreting a user’s responses and generating replies in the framework of a WWW-based Bayesian argumentation system. Our system c...
ECRTS
2000
IEEE
15 years 7 months ago
2000
IEEE
Real-time Systems, in particular regulation systems, are often specified using the notion of running modes. On the other hand, the family of synchronous languages [1] has been ve...
108
click to vote
AAAI
1990
15 years 4 months ago
1990
We describe a program, BEATRIX, that can understand textbook physics problems specified by a combination of English text and a diagram. The result of the understanding process is ...
152
click to vote
HASKELL
2005
ACM
15 years 8 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
125
click to vote
LPNMR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm...