Sciweavers

2391 search results - page 3 / 479
» From Nature to Methods and Back to Nature
Sort
View
WABI
2009
Springer
142views Bioinformatics» more  WABI 2009»
14 years 19 days ago
Back-Translation for Discovering Distant Protein Homologies
Background: Frameshift mutations in protein-coding DNA sequences produce a drastic change in the resulting protein sequence, which prevents classic protein alignment methods from ...
Marta Gîrdea, Laurent Noé, Gregory Ku...
EKAW
2006
Springer
13 years 9 months ago
From Natural Language to Formal Proof Goal
Guidelines (Extended abstract) Ruud Stegers1 , Annette ten Teije1 , and Frank van Harmelen1 Vrije Universiteit, Amsterdam The main problem encountered when starting verification of...
Ruud Stegers, Annette ten Teije, Frank van Harmele...
EACL
1993
ACL Anthology
13 years 7 months ago
The donkey strikes back: Extending the dynamic interpretation "constructively"
The dynamic interpretation of a formula as a binary relation (inducing transitions) on states is extended by alternative treatments of implication, universal quantification, negat...
Tim Fernando
CMMR
2009
Springer
190views Music» more  CMMR 2009»
13 years 10 months ago
From Signal to Substance and Back: Insights from Environmental Sound Research to Auditory Display Design
A persistent concern in the field of auditory display design has been how to effectively use environmental sounds, which are naturally occurring familiar non-speech, non-musical s...
Brian Gygi, Valeriy Shafiro
ICPR
2004
IEEE
14 years 7 months ago
Text Detection from Natural Scene Images: Towards a System for Visually Impaired Persons
We propose a system that reads the text encountered in natural scenes with the aim to provide assistance to the visually impaired persons. This paper describes the system design a...
Nobuo Ezaki, Marius Bulacu, Lambert Schomaker