14518 search results - page 392 / 2904 » Two Problems for Sophistication |
184
click to vote
DIS
2005
Springer
16 years 10 days ago
2005
Springer
In the 1980s, Don Swanson proposed the concept of “undiscovered public knowledge,” and published several examples in which two disparate literatures (i.e., sets of articles hav...
172
click to vote
FOSSACS
2004
Springer
16 years 6 days ago
2004
Springer
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...
178
click to vote
NIPS
2007
15 years 8 months ago
2007
Much of human knowledge is organized into sophisticated systems that are often called intuitive theories. We propose that intuitive theories are mentally represented in a logical ...
178
click to vote
ETS
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper describes experiences with on-line and in-class sections of a writing-intensive course, including a collaborative library literacy unit. It reports on a mid-semester so...
179
Voted
CAI
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. The concatenation product is one of the most important operations on regular languages. Its study requires sophisticated tools from algebra, finite model theory and pro...