Sciweavers

4708 search results - page 309 / 942
» Generating the Structure of Argument
Sort
View
DAGSTUHL
2004
15 years 8 months ago
Testing with Functions as Specifications
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
Pieter W. M. Koopman
189
Voted
IFIP3
2004
99views Education» more  IFIP3 2004»
15 years 8 months ago
Government sponsored open source software for school education
: The history of computing can be seen in terms of cultural change engendered by philosophical opposition. In education some key philosophical dichotomies are those of commercial-c...
Andrew E. Fluck
AIS
2010
Springer
15 years 6 months ago
Anticipation and the artificial: aesthetics, ethics, and synthetic life
If complexity is a necessary but not sufficient premise for the existence and expression of the living, anticipation is the distinguishing characteristic of what is alive. Anticipa...
Mihai Nadin
ML
2008
ACM
115views Machine Learning» more  ML 2008»
15 years 6 months ago
Calling variadic functions from a strongly-typed language
The importance of providing a mechanism to call C functions from high-level languages has been understood for many years and, these days, almost all statically-typed high-level-la...
Matthias Blume, Mike Rainey, John H. Reppy
PAMI
2008
135views more  PAMI 2008»
15 years 6 months ago
MultiK-MHKS: A Novel Multiple Kernel Learning Algorithm
In this paper, we develop a new effective multiple kernel learning algorithm. First, we map the input data into m different feature spaces by m empirical kernels, where each genera...
Zhe Wang, Songcan Chen, Tingkai Sun