3228 search results - page 211 / 646 » Computationally Sound Proofs |
189
click to vote
DAGSTUHL
2008
15 years 8 months ago
2008
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The co...
154
click to vote
CANDC
2009
ACM
16 years 1 months ago
2009
ACM
While algorithms have existed in math, music and other fields for over one thousand years, the use of algorithms to solve problems has become easier than ever before due to the a...
141
click to vote
SIGCSE
2010
ACM
16 years 1 months ago
2010
ACM
This paper discusses our experience in teaching an interdisciplinary general education course called Sound Thinking that is offered jointly by our Dept. of Computer Science and De...
202
click to vote
ICPPW
2009
IEEE
16 years 1 months ago
2009
IEEE
—Pervasive computing is fast becoming a reality with rapid advance in computing and networking technologies. It has the characteristics of scalability, invisibility, and the abse...
170
click to vote
ASIACRYPT
2003
Springer
15 years 11 months ago
2003
Springer
The best practical algorithm for class group computations in imaginary quadratic number fields (such as group structure, class number, discrete logarithm computations) is a varian...