460 search results - page 20 / 92 » Using Foreign Forums |
CRIWG
2006
13 years 11 months ago
2006
DIAS is an Asynchronous Discussion Forum Software, mainly developed in order to offer extended monitoring and interaction analysis support, by providing a wide range of indicators ...
PTS
2000
13 years 11 months ago
2000
We present a formal approach to check the correctness and to propose corrections of hand-written test suites with respect to a formal specification of the protocol implementations ...
LICS
1994
IEEE
14 years 1 months ago
1994
IEEE
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...
CSREASAM
2006
13 years 11 months ago
2006
: The research work in this paper shows that the currently available stenographic methods might be quite easily detected by using sufficiently careful analysis of the transmitted d...
EMNLP
2008
13 years 10 months ago
2008
While significant effort has been put into annotating linguistic resources for several languages, there are still many left that have only small amounts of such resources. This p...