Sciweavers

8431 search results - page 335 / 1687
» Algorithmically Independent Sequences
Sort
View
206
Voted
RTAS
2006
IEEE
16 years 1 months ago
An Interface Algebra for Real-Time Components
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
Thomas A. Henzinger, Slobodan Matic
210
Voted
SC
2009
ACM
16 years 2 days ago
Cloud technologies for bioinformatics applications
Executing large number of independent tasks or tasks that perform minimal inter-task communication in parallel is a common requirement in many domains. In this paper, we present o...
Xiaohong Qiu, Jaliya Ekanayake, Scott Beason, Thil...
200
Voted
BIOINFORMATICS
2010
87views more  BIOINFORMATICS 2010»
15 years 7 months ago
Improving protein secondary structure prediction using a simple k-mer model
Motivation: Existing methods for protein sequence analysis are generally firstorder and inherently assume that each position is independent. We develop a general framework for int...
Martin Madera, Ryan Calmus, Grant Thiltgen, Kevin ...
172
Voted
COCOON
2005
Springer
16 years 29 days ago
Opportunistic Data Structures for Range Queries
Abstract In this paper, we study the problem of supporting range sum queries on a compressed sequence of values. For a sequence of n k-bit integers, k ≤ O(log n), our data struct...
Chung Keung Poon, Wai Keung Yiu
217
Voted
CIARP
2003
Springer
16 years 19 days ago
3D Rigid Facial Motion Estimation from Disparity Maps
This paper proposes an approach to estimate 3D rigid facial motions through a stereo image sequence. The approach uses a disparity space as the main space in order to represent all...
Nicolas Pérez de la Blanca, José M. ...