Sciweavers

4172 search results - page 206 / 835
» Computing Machinery and Understanding
Sort
View
92
Voted
ANTS
2008
Springer
57views Algorithms» more  ANTS 2008»
15 years 5 months ago
Functorial Properties of Stark Units in Multiquadratic Extensions
Abstract. The goal of this paper is to present computations investigating the "functorial" properties of Stark units, that is, how specific roots of Stark units from cert...
Jonathan W. Sands, Brett A. Tangedal
112
Voted
ACE
2004
197views Education» more  ACE 2004»
15 years 5 months ago
The Cryptic Crossword Puzzle as a Useful Analogue in Teaching Programming
Contrary to the apparent beliefs of many students, computer programming and problem solving are not amenable to purely book learning. These skills can be acquired only by practice...
Simon
108
Voted
BCSHCI
1997
15 years 5 months ago
HyperAT: HCI and Web Authoring
We review HCI problems with hypertext, and for authoring World Wide Web documents in particular. We suggest that a framework is required to understand the usability issues, and th...
Yin Leng Theng, Cécile Rigny, Harold W. Thi...
132
Voted
COLING
1996
15 years 5 months ago
An Evaluation Semantics for DATR Theories
This paper describes an operational semantics for DATR theories. The semantics is presented as a set of inference rules that axiomatises the evaluation relationship for DATR expre...
Bill Keller
101
Voted
IJCAI
1993
15 years 5 months ago
Artificial Thought and Emergent Mind
We consider the question of whether or not a successful attempt to simulate human (rational) thought on a computer can contribute to our understanding of the mind, including perha...
Ivan M. Havel