7991 search results - page 611 / 1599 » Using More Reasoning to Improve |
196
Voted
IWPC
2003
IEEE
16 years 16 days ago
2003
IEEE
During software evolution, adaptive, and corrective maintenance are common reasons for changes. Often such changes cluster around key components. It is therefore important to anal...
178
click to vote
BIRTHDAY
2003
Springer
16 years 15 days ago
2003
Springer
Abstract. We present a new proof of axiomatic completeness for Proposition Temporal Logic (PTL) for discrete, linear time for both finite and infinite time (without past-time). T...
198
click to vote
EUROCRYPT
2003
Springer
16 years 15 days ago
2003
Springer
At CRYPTO 2000, a new public-key encryption based on braid groups was introduced. This paper demonstrates how to solve its underlying problem using the Burau representation. By thi...
177
Voted
ILP
2003
Springer
16 years 14 days ago
2003
Springer
Propositionalization has already been shown to be a particularly promising approach for robustly and effectively handling relational data sets for knowledge discovery. In this pap...
170
click to vote
IV
2002
IEEE
16 years 6 days ago
2002
IEEE
Human dialogue is so complex that definitively analysing patterns of conversation may well be impossible. Within a conversation, all the complexities and ambiguities of natural la...