Sciweavers

1943 search results - page 152 / 389
» Ordering Default Theories
Sort
View
ECEASST
2010
15 years 4 months ago
Open Source Verification under a Cloud
Abstract: An experiment in providing volunteer cloud computing support for automated audits of open source code is described here, along with the supporting theory. Certification a...
Peter T. Breuer, Simon Pickin
CHI
2011
ACM
14 years 10 months ago
A phenomenology of human-electricity relations
This paper investigates the philosophical question of how we can experience energy with the aim of informing the design of future ways of experiencing energy by means of technolog...
James Pierce, Eric Paulos
282
Voted
FOGA
2011
14 years 10 months ago
Computational complexity analysis of simple genetic programming on two problems modeling isolated program semantics
Analyzing the computational complexity of evolutionary algorithms (EAs) for binary search spaces has significantly informed our understanding of EAs in general. With this paper, ...
Greg Durrett, Frank Neumann, Una-May O'Reilly
BIS
2011
342views Business» more  BIS 2011»
14 years 7 months ago
A Concept of the Knowledge Strategic Resource Network (SknowNet) for SMEs
This paper presents concept of the strategic knowledge resource network for SMEs. A strategic-knowledge resource in a company represents the knowledge, skills and capabilities of t...
Justyna Patalas-Maliszewska, Irene Krebs
COLING
2000
15 years 8 months ago
A Model of Competence for Corpus-Based Machine Translation
A translation is a conversion from a source language into a target language preserving the meaning. A huge number of techniques and computational approaches have been experimented...
Michael Carl