Sciweavers

2455 search results - page 224 / 491
» Computability of Models for Sequence Assembly
Sort
View
CCE
2011
14 years 10 months ago
Time representations and mathematical models for process scheduling problems
During the last 15 years, many mathematical models have been developed in order to solve process operation scheduling problems, using discrete or continuous time representations. ...
Sylvain Mouret, Ignacio E. Grossmann, Pierre Pesti...
CVPR
2008
IEEE
16 years 1 months ago
View and scale invariant action recognition using multiview shape-flow models
Actions in real world applications typically take place in cluttered environments with large variations in the orientation and scale of the actor. We present an approach to simult...
Pradeep Natarajan, Ram Nevatia
ICC
2007
IEEE
197views Communications» more  ICC 2007»
16 years 29 days ago
Basis Expansion Model and Doppler Diversity Techniques for Frequency Domain Channel Estimation and Equalization in DS-CDMA Syste
Abstract— In this paper, we propose a frequency domain adaptive estimation of Doppler shifts for multiple Doppler subpaths in direct sequence code division multiple access (DS-CD...
Tianqi Wang, Cheng Li, Hsiao-Hwa Chen
ISBI
2007
IEEE
16 years 28 days ago
Automated Tracking of Multiple C. Elegans with Articulated Models
We present a method for tracking and distinguishing multiple C. elegans in a video sequence, including when they are in physical contact with one another. The worms are modeled wi...
Kuang-Man Huang, Pamela C. Cosman, William R. Scha...
ICFEM
2004
Springer
16 years 10 hour ago
A General Model for Reachability Testing of Concurrent Programs
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...
Richard H. Carver, Yu Lei