834 search results - page 92 / 167 » Research Documentation Guidelines - Capturing knowledge, imp... |
104
click to vote
CASCON
2007
15 years 1 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
120
click to vote
CLADE
2004
IEEE
15 years 3 months ago
2004
IEEE
The Collaboratory for Multi-scale Chemical Science (CMCS) is developing a powerful informaticsbased approach to synthesizing multi-scale information to support a systems-based res...
IADIS
2004
15 years 1 months ago
2004
This paper presents an analysis of the degree to which attitudes towards an Internet-based simulation depend on how satisfied participants are with the software used. The theoreti...
101
click to vote
CIKM
2009
Springer
15 years 6 months ago
2009
Springer
Ranking is a key problem in many information retrieval (IR) applications, such as document retrieval and collaborative filtering. In this paper, we address the issue of learning ...
CIKM
1999
Springer
15 years 4 months ago
1999
Springer
The web hasgreatly improved accessto scientific literature. However, scientific articles on the web are largely disorganized, with research articles being spreadacrossarchive site...