Search Sciweavers | Sciweavers

43264 search results - page 19 / 8653

» Comparing models of computation

click to vote

WALCOM
2010
IEEE

230views Algorithms» more WALCOM 2010»

Comparing RNA Structures with Biologically Relevant Operations Cannot Be Done without Strong Combinatorial Restrictions

14 years 3 months ago

Download igm.univ-mlv.fr

Abstract. Arc-annotated sequences are useful for representing structural information of RNAs and have been extensively used for comparing RNA structures in both terms of sequence a...

Guillaume Blin, Sylvie Hamel, Stéphane Vial...

claim paper

Read More »

click to vote

CHI
2007
ACM

326views Human Computer Interaction» more CHI 2007»

Tangible user interface for chemistry education: comparative evaluation and re-design

14 years 9 months ago

Download www.t2i.se

Augmented Chemistry (AC) is an application that utilizes a tangible user interface (TUI) for organic chemistry education. The empirical evaluation described in this paper compares...

Morten Fjeld, Jonas Fredriksson, Martin Ejdestig, ...

claim paper

Read More »

click to vote

LICS
2008
IEEE

88views Automated Reasoning» more LICS 2008»

Reachability Games and Game Semantics: Comparing Nondeterministic Programs

14 years 3 months ago

Download www.comlab.ox.ac.uk

We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...

Andrzej S. Murawski

claim paper

Read More »

click to vote

COLING
2010

138views Computational Linguistics» more COLING 2010»

Improving Corpus Comparability for Bilingual Lexicon Extraction from Comparable Corpora

13 years 3 months ago