66 search results - page 10 / 14 » Further Development of a Digital Library Curriculum: Evaluat... |
ASWEC
2000
IEEE
13 years 12 months ago
2000
IEEE
This paper describes the development of an experience factory in an Australian organization involved in the field of telecommunications. Faced with improvement needs, in 1998 the ...
TPHOL
2008
IEEE
14 years 1 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
TKDE
2010
13 years 5 months ago
2010
—Probabilistic topic models were originally developed and utilised for document modeling and topic extraction in Information Retrieval. In this paper we describe a new approach f...
BMCBI
2010
13 years 7 months ago
2010
Background: High-throughput sequencing technologies, such as the Illumina Genome Analyzer, are powerful new tools for investigating a wide range of biological and medical question...
BMVC
1998
13 years 8 months ago
1998
To be able to understand the motion of deformable objects, techniques in image processing and computer vision are essential for non-rigid motion analysis in this active research a...