1615 search results - page 105 / 323 » Computer science and decision theory |
BRAIN
2009
Springer
15 years 7 months ago
2009
Springer
The essence of computer applications is to store things in the real world into computer systems in the form of data, i.e., it is a process of producing data. Some data are the reco...
116
Voted
DLOG
2009
14 years 10 months ago
2009
Context-sensitivity has been for long a subject of study in linguistics, logic and computer science. Recently the problem of representing and reasoning with contextual knowledge ha...
SIGSOFT
2006
ACM
15 years 6 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
SIGIR
2004
ACM
15 years 6 months ago
2004
ACM
In this paper, we introduce an information theoretic method for estimating the usefulness of the hyperlink structure induced from the set of retrieved documents. We evaluate the e...
113
Voted
ICTCS
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Given two proofs in a logical system with a confluent cutelimination procedure, the cut-elimination problem (CEP) is to decide whether these proofs reduce to the same no...