10568 search results - page 261 / 2114 » Computer Intelligence and Formalization |
130
click to vote
JALC
2008
15 years 3 months ago
2008
A combinatorial channel is a set of pairs of words describing all the possible input-output channel situations. We introduce the concept "maximal error-detecting capability&q...
105
click to vote
INFORMATICALT
2010
15 years 1 months ago
2010
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veriï...
104
click to vote
TGC
2005
Springer
15 years 8 months ago
2005
Springer
Protocol narrations are an informal means to describe, in an idealistic manner, the functioning of cryptographic protocols as a single intended sequence of cryptographic message ex...
127
Voted
COLING
2002
15 years 3 months ago
2002
We propose a formal characterization of variation in the syntactic realization of semantic arguments, using hierarchies of syntactic relations and thematic roles, and a mechanism ...
141
Voted
AAAI
1998
15 years 4 months ago
1998
We present a novel methodology for building humanlike artificially intelligent systems. We take as a model the only existing systems which are universally accepted as intelligent:...