Sciweavers

621 search results - page 47 / 125
» Identifying the (Tele)Presence Literature
Sort
View
DAGSTUHL
1996
13 years 9 months ago
Multi-Level Lambda-Calculi: An Algebraic Description
Abstract. Two-level -calculi have been heavily utilised for applications such as partial evaluation, abstract interpretation and code generation. Each of these applications pose di...
Flemming Nielson, Hanne Riis Nielson
ISMB
1993
13 years 9 months ago
Representation for Discovery of Protein Motifs
There are several dimensions and levels of complexity in which information on protein motifs may be available. For example, onedimensional sequence motifs may be associated with s...
Darrell Conklin, Suzanne Fortier, Janice I. Glasgo...
WCE
2007
13 years 9 months ago
Objective Methods for Analysing Unreplicated Factorial Designs
— There is not a method for analysing unreplicated factorial designs that performs well for various configurations of number and size of active effects. Moreover, the most popula...
Nuno Costa, Zulema Lopes Pereira
CONCUR
2010
Springer
13 years 8 months ago
A Logic for True Concurrency
We propose a logic for true concurrency whose formulae predicate about events in computations and their causal dependencies. The induced logical equivalence is hereditary history p...
Paolo Baldan, Silvia Crafa
AC
2010
Springer
13 years 7 months ago
Features for Content-Based Audio Retrieval
Today, a large number of audio features exists in audio retrieval for different purposes, such as automatic speech recognition, music information retrieval, audio segmentation, an...
Dalibor Mitrovic, Matthias Zeppelzauer, Christian ...