Sciweavers

1525 search results - page 166 / 305
» A model change detection approach to dynamic scene modeling
Sort
View
122
Voted
ACL
2012
13 years 4 months ago
Fast and Scalable Decoding with Language Model Look-Ahead for Phrase-based Statistical Machine Translation
In this work we present two extensions to the well-known dynamic programming beam search in phrase-based statistical machine translation (SMT), aiming at increased efficiency of ...
Joern Wuebker, Hermann Ney, Richard Zens
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 5 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
BMCBI
2010
115views more  BMCBI 2010»
15 years 1 months ago
Importance of replication in analyzing time-series gene expression data: Corticosteroid dynamics and circadian patterns in rat l
Background: Microarray technology is a powerful and widely accepted experimental technique in molecular biology that allows studying genome wide transcriptional responses. However...
Tung T. Nguyen, Richard R. Almon, Debra C. DuBois,...
BMCBI
2005
189views more  BMCBI 2005»
15 years 1 months ago
Quantitative inference of dynamic regulatory pathways via microarray data
Background: The cellular signaling pathway (network) is one of the main topics of organismic investigations. The intracellular interactions between genes in a signaling pathway ar...
Wen-Chieh Chang, Chang-Wei Li, Bor-Sen Chen
ASPLOS
2010
ACM
15 years 4 months ago
Butterfly analysis: adapting dataflow analysis to dynamic parallel monitoring
Online program monitoring is an effective technique for detecting bugs and security attacks in running applications. Extending these tools to monitor parallel programs is challeng...
Michelle L. Goodstein, Evangelos Vlachos, Shimin C...