7124 search results - page 479 / 1425 » Programming Languages and Operating Systems |
188
Voted
UM
2001
Springer
16 years 8 hour 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...
172
click to vote
ECRTS
2000
IEEE
16 years 16 min 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...
178
Voted
AAAI
1990
15 years 8 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 ...
194
click to vote
EDOC
2003
IEEE
16 years 26 days ago
2003
IEEE
Distributed System design is a highly complicated and non-trivial task. The problem is characterised by the need to design multi-threaded, multi-processor, and multimedia systems....
188
click to vote
POPL
2010
ACM
16 years 5 months ago
2010
ACM
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...