Sciweavers

65 search results - page 9 / 13
» Region-based Annotation Tool using Partition Trees
Sort
View
ASPLOS
2008
ACM
13 years 9 months ago
The design and implementation of microdrivers
Device drivers commonly execute in the kernel to achieve high performance and easy access to kernel services. However, this comes at the price of decreased reliability and increas...
Vinod Ganapathy, Matthew J. Renzelmann, Arini Bala...
COLING
2002
13 years 7 months ago
Learning Chinese Bracketing Knowledge Based on a Bilingual Language Model
This paper proposes a new method for automatic acquisition of Chinese bracketing knowledge from English-Chinese sentencealigned bilingual corpora. Bilingual sentence pairs are fir...
Yajuan Lü, Sheng Li, Tiejun Zhao, Muyun Yang
IEEEHPCS
2010
13 years 5 months ago
Semantic model checking security requirements for web services
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
L. Boaro, E. Glorio, Francesco Pagliarecci, Luca S...
BMCBI
2007
148views more  BMCBI 2007»
13 years 7 months ago
BPhyOG: An interactive server for genome-wide inference of bacterial phylogenies based on overlapping genes
Background: Overlapping genes (OGs) in bacterial genomes are pairs of adjacent genes of which the coding sequences overlap partly or entirely. With the rapid accumulation of seque...
Yingqin Luo, Cong Fu, Da-Yong Zhang, Kui Lin
ICMCS
2006
IEEE
157views Multimedia» more  ICMCS 2006»
14 years 1 months ago
RD-Optimization for MPEG-2 to H.264 Transcoding
1 In this paper, we introduce and evaluate a low complexity macroblock partition mode decision algorithm for interframe prediction in MPEG-2 to H.264 transcoder. The proposed tools...
Gerardo Fernández-Escribano, Hari Kalva, Pe...