992 search results - page 72 / 199 » Evaluating and Comparing Interaction Styles |
ICASSP
2011
IEEE
12 years 12 months ago
2011
IEEE
In spoken language processing, considerable research has been accomplished on language identi cation. Singing language identi cation is an important yet challenging area that has ...
MM
2005
ACM
14 years 1 months ago
2005
ACM
We present our initial results in developing a framework for collaborative multimedia authoring tools. This research is motivated by the lack of tools that take into account consu...
RECOMB
2006
Springer
14 years 8 months ago
2006
Springer
Computational and comparative analysis of protein-protein interaction (PPI) networks enable understanding of the modular organization of the cell through identification of functio...
CSB
2005
IEEE
14 years 1 months ago
2005
IEEE
In the initial stage of sequence analysis, a biologist is first faced with the questions about how to choose the best tool to align sequences of interest and how to analyze and v...
ICFP
2009
ACM
14 years 8 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...