507 search results - page 65 / 102 » Portfolio theory of information retrieval |
ICTAC
2009
Springer
14 years 2 months ago
2009
Springer
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corre...
ACCV
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We present a new application of computer vision: continuous measurement of the geometrical visibility range on inter-urban roads, solely based on a monocular image acquis...
AIED
2007
Springer
14 years 1 months ago
2007
Springer
: This paper proposes the notion of problem templates (PTs), a concept based on theories of memory and expertise. These mental constructs allow experts to quickly recognise problem...
CCS
2005
ACM
14 years 1 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
ISMIR
2004
Springer
14 years 1 months ago
2004
Springer
Melodic segmentation is an important topic for music information retrieval, because it divides melodies into musically relevant units. Most influential theories on melodic segmen...