Sciweavers

8431 search results - page 335 / 1687
» Algorithmically Independent Sequences
Sort
View
RTAS
2006
IEEE
16 years 23 days 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
SC
2009
ACM
15 years 11 months 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...
BIOINFORMATICS
2010
87views more  BIOINFORMATICS 2010»
15 years 6 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 ...
COCOON
2005
Springer
16 years 9 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
192
Voted
CIARP
2003
Springer
16 years 3 hour 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. ...