Sciweavers

2354 search results - page 328 / 471
» Tracking Stopping Times
Sort
View
CSB
2005
IEEE
141views Bioinformatics» more  CSB 2005»
15 years 10 months ago
Joint Genomic and Metabolomic Analysis of Toxic Dose-Response Experiments
A methodology has been implemented for analyzing microarray and NMR spectral data obtained from the same set of toxic-exposure dose-response experiments. The NMR spectra additiona...
Gary L. Jahns, Nicholas J. DelRaso, Mark P. Westri...
HICSS
2005
IEEE
131views Biometrics» more  HICSS 2005»
15 years 10 months ago
Train Traffic Deviation Handling Using Tabu Search and Simulated Annealing
This paper addresses the problem of solving conflicts in railway traffic that arise due to disturbances. It is formulated as a problem of re-scheduling meets and overtakes of trai...
Johanna Törnquist, Jan A. Persson
ICMCS
2005
IEEE
102views Multimedia» more  ICMCS 2005»
15 years 10 months ago
Fast camera calibration for the analysis of sport sequences
Semantic analysis of sport sequences requires camera calibration to obtain player and ball positions in real-world coordinates. For court sports like tennis, the marker lines on t...
Dirk Farin, Jungong Han, Peter H. N. de With
ISIPTA
2005
IEEE
125views Mathematics» more  ISIPTA 2005»
15 years 10 months ago
Evidential modeling for pose estimation
Pose estimation involves reconstructing the configuration of a moving body from images sequences. In this paper we present a general framework for pose estimation of unknown obje...
Fabio Cuzzolin, Ruggero Frezza
LICS
2005
IEEE
15 years 10 months ago
Certifying Compilation for a Language with Stack Allocation
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
Limin Jia, Frances Spalding, David Walker, Neal Gl...