Sciweavers

3804 search results - page 644 / 761
» From Here to There
Sort
View
LPAR
2001
Springer
14 years 1 months ago
Boolean Functions for Finite-Tree Dependencies
Several logic-based languages, such as Prolog II and its successors, SICStus Prolog and Oz, offer a computation domain including rational trees. Infinite rational trees allow fo...
Roberto Bagnara, Enea Zaffanella, Roberta Gori, Pa...
BMCBI
2010
117views more  BMCBI 2010»
13 years 9 months ago
New decoding algorithms for Hidden Markov Models using distance measures on labellings
Background: Existing hidden Markov model decoding algorithms do not focus on approximately identifying the sequence feature boundaries. Results: We give a set of algorithms to com...
Daniel G. Brown 0001, Jakub Truszkowski
JTAER
2010
135views more  JTAER 2010»
13 years 7 months ago
Developing Trust In Virtual Software Development Teams
Today globally distributed software development has become the norm for many organizations and the popularity of implementing such an approach continues to increase. In these circ...
Valentine Casey
MIA
2010
170views more  MIA 2010»
13 years 3 months ago
Linear intensity-based image registration by Markov random fields and discrete optimization
We propose a framework for intensity-based registration of images by linear transformations, based on a discrete Markov Random Field (MRF) formulation. Here, the challenge arises ...
Darko Zikic, Ben Glocker, Oliver Kutter, Martin Gr...
NAR
2011
219views Computer Vision» more  NAR 2011»
12 years 12 months ago
SCLD: a stem cell lineage database for the annotation of cell types and developmental lineages
Stem cell biology has experienced explosive growth over the past decade as researchers attempt to generate therapeutically relevant cell types in the laboratory. Recapitulation of...
Edward Hemphill, Asav P. Dharia, Chih Lee, Carolin...