Sciweavers

85 search results - page 5 / 17
» Informational versus functional theories of scientific repre...
Sort
View
88
Voted
ECIS
2003
15 years 1 months ago
A multi-model algorithm for the cost-oriented design of the information technology infrastructure
Multiple combinations of hardware and network components can be selected to design an information technology (IT) infrastructure that satisfies performance requirements. The profe...
Danilo Ardagna, Chiara Francalanci, Marco Trubian
87
Voted
CIE
2005
Springer
15 years 6 months ago
Formalising Exact Arithmetic in Type Theory
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
Milad Niqui
BIBE
2007
IEEE
169views Bioinformatics» more  BIBE 2007»
15 years 6 months ago
Combining Semantics, Context, and Statistical Evidence in Genomics Literature Search
—We present an information retrieval model for combining evidence from concept-based semantics, term statistics, and context for improving search precision of genomics literature...
Jay Urbain, Nazli Goharian, Ophir Frieder
114
Voted
ISMIR
2001
Springer
196views Music» more  ISMIR 2001»
15 years 4 months ago
MUSART: Music Retrieval Via Aural Queries
MUSART is a research project developing and studying new techniques for music information retrieval. The MUSART architecture uses a variety of representations to support multiple ...
William P. Birmingham
81
Voted
IJKL
2008
106views more  IJKL 2008»
15 years 11 days ago
Activity- and taxonomy-based knowledge representation framework
: Elaborations of Competence-based Knowledge Space Theory (CbKST) incorporate skills that refer to the conceptual information of the domain as well as to the activities learners ar...
Birgit Marte, Christina M. Steiner, Jürgen He...