Sciweavers

2455 search results - page 378 / 491
» Computability of Models for Sequence Assembly
Sort
View
ICRA
2007
IEEE
175views Robotics» more  ICRA 2007»
15 years 10 months ago
Homography Based Kalman Filter for Mosaic Building. Applications to UAV position estimation
— This paper presents a probabilistic framework where uncertainties can be considered in the mosaic building process. It is shown how can be used as an environment representation...
Fernando Caballero, Luis Merino, Joaquin Ferruz, A...
CSB
2005
IEEE
136views Bioinformatics» more  CSB 2005»
15 years 10 months ago
Whole Genome Phylogeny Based on Clustered Signature String Composition
Peptide compositions constructed out of whole sets of protein sequences can be used as species signatures for phylogenetic analysis. To account for point mutations, an amino acid ...
Xiaomeng Wu, Guohui Lin, Xiu-Feng Wan, Dong Xu
LCTRTS
2005
Springer
15 years 10 months ago
Nonintrusive precision instrumentation of microcontroller software
Debugging, testing, and profiling microcontroller programs are notoriously difficult. The lack of supporting software such as an operating system, a narrow interface to the hard...
Ben Titzer, Jens Palsberg
EVOW
2001
Springer
15 years 9 months ago
A Constructive Evolutionary Approach to School Timetabling
This work presents a constructive approach to the process of fixing a sequence of meetings between teachers and students in a prefixed period of time, satisfying a set of constrain...
Geraldo Ribeiro Filho, Luiz Antonio Nogueira Loren...
DAC
1998
ACM
16 years 5 months ago
Combining Theorem Proving and Trajectory Evaluation in an Industrial Environment
We describe the verification of the IM: a large, complex (12,000 gates and 1100 latches) circuit that detects and marks the boundaries between Intel architecture (IA-32) instructi...
Mark Aagaard, Robert B. Jones, Carl-Johan H. Seger