Sciweavers

2107 search results - page 143 / 422
» Computing Small Search Numbers in Linear Time
Sort
View
IMSCCS
2006
IEEE
16 years 11 days ago
Quality Assessment of Peptide Tandem Mass Spectra
Background: Tandem mass spectrometry has emerged as a cornerstone of high throughput proteomic studies owing in part to various high throughput search engines which are used to in...
Fang-Xiang Wu, Pierre Gagné, Arnaud Droit, ...
CORR
2011
Springer
169views Education» more  CORR 2011»
15 years 1 months ago
Streaming Tree Transducers
We introduce streaming tree transducers as an analyzable and expressive model for transforming hierarchically structured data in a single pass. Given a linear encoding of the inpu...
Rajeev Alur, Loris D'Antoni
ICDCS
1995
IEEE
15 years 10 months ago
Analysis of Resource Lower Bounds in Real-Time Applications
Tasks in a real-time application usually have several stringent timing, resource, and communication requirements. Designing a distributed computing system which can meet all these...
Raed Alqadi, Parameswaran Ramanathan
PAMI
2008
221views more  PAMI 2008»
15 years 6 months ago
Plane-Based Optimization for 3D Object Reconstruction from Single Line Drawings
In previous optimization-based methods of 3D planar-faced object reconstruction from single 2D line drawings, the missing depths of the vertices of a line drawing (and other parame...
Jianzhuang Liu, Liangliang Cao, Zhenguo Li, Xiaoou...
SAC
2003
ACM
15 years 11 months ago
Manpower Scheduling with Time Windows
In this paper, we propose a manpower allocation model with time windows which is of practical interest to serviceman scheduling operations. Specifically, this problem originates f...
Andrew Lim, Brian Rodrigues, Lei Song