16626 search results - page 13 / 3326 » Computing is a natural science |
118
click to vote
ICS
2010
Tsinghua U.
15 years 9 months ago
2010
Tsinghua U.
Computation in the physical world is restricted by the following spatial locality constraint: In a single unit of time, information can only travel a bounded distance in space. A ...
BIRTHDAY
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
NLDB
2000
Springer
15 years 3 months ago
2000
Springer
This paper discusses the use of information extraction and natural language generation in the design of an automated e-mail answering system. We analyse short free-form texts and ...
LANMR
2007
15 years 1 months ago
2007
Teaching engineering students courses such as computer science theory, automata theory and discrete mathematics took us to realize that introducing basic notions of logic, especial...
ACE
2003
15 years 1 months ago
2003
The paper has two purposes: rst, we argue that natural language processing, and particularly those aspects of that eld often referred to as language technology, should play an imp...