16626 search results - page 346 / 3326 » Computing is a natural science |
263
click to vote
CAINE
2010
15 years 4 months ago
2010
The ability for humans to understand and process the emotional content of speech is unsurpassed by simulated intelligent agents. Beyond the linguistic content of speech are the un...
174
click to vote
IFIPTCS
2010
15 years 4 months ago
2010
Abstract. We investigate systematically into the various possible notions of traceable sets and the relations they bear to each other and to other notions such as diagonally noncom...
169
click to vote
SOFSEM
2010
Springer
15 years 4 months ago
2010
Springer
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...
210
click to vote
TCS
2011
15 years 1 months ago
2011
An active learner has a collection of data points, each with a label that is initially hidden but can be obtained at some cost. Without spending too much, it wishes to find a cla...
185
click to vote
Publication
This paper describes the structure of, and the ideas behind, a self-applicable specializer of programs, as well as the principles of operation of a compiler generator that has been...