Sciweavers

7962 search results - page 54 / 1593
» Conceptions of information science
Sort
View
NDJFL
2000
74views more  NDJFL 2000»
14 years 9 months ago
Frege's New Science
In this paper, we explore Fregean metatheory, what Frege called the New Science. The New Science arises in the context of Frege's debate with Hilbert over independence proofs ...
Aldo Antonelli, Robert May
SC
2009
ACM
15 years 4 months ago
Robust workflows for science and engineering
Scientific workflow tools allow users to specify complex computational experiments and provide a good framework for robust science and engineering. Workflows consist of pipelines ...
David Abramson, Blair Bethwaite, Colin Enticott, S...
HICSS
2009
IEEE
74views Biometrics» more  HICSS 2009»
15 years 4 months ago
SAVVY: A Semantic Associative Browsing System for Heterogeneous Knowledge Resources
This paper presents a semantic associative browsing system called Semantic Association Various Viewpoint sYstem (SAVVY). Recently, the number of users who employ search engines fo...
Takafumi Nakanishi, Koji Zettsu, Yutaka Kidawara, ...
CAISE
2005
Springer
15 years 3 months ago
The Logic of Correctness in Software Engineering
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
Mark Priestly