Sciweavers

2563 search results - page 357 / 513
» Parallel matrix algorithms and applications
Sort
View
VLDB
2002
ACM
184views Database» more  VLDB 2002»
16 years 4 months ago
Database indexing for large DNA and protein sequence collections
Our aim is to develop new database technologies for the approximate matching of unstructured string data using indexes. We explore the potential of the suffix tree data structure i...
Ela Hunt, Malcolm P. Atkinson, Robert W. Irving
ICCAD
2001
IEEE
124views Hardware» more  ICCAD 2001»
16 years 21 days ago
Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs
Methods based on Boolean satisfiability (SAT) typically use a Conjunctive Normal Form (CNF) representation of the Boolean formula, and exploit the structure of the given problem ...
Aarti Gupta, Zijiang Yang, Pranav Ashar, Lintao Zh...
ICRA
2009
IEEE
170views Robotics» more  ICRA 2009»
15 years 10 months ago
Automatic high-precision self-calibration of camera-robot systems
— In this article a new method is presented to obtain a full and precise calibration of camera-robot systems with eyein-hand cameras. It achieves a simultaneous and numerically s...
Andreas Jordt, Nils T. Siebel, Gerald Sommer
LION
2009
Springer
114views Optimization» more  LION 2009»
15 years 10 months ago
Substitution Matrices and Mutual Information Approaches to Modeling Evolution
Abstract. Substitution matrices are at the heart of Bioinformatics: sequence alignment, database search, phylogenetic inference, protein family classication are based on Blosum, P...
Stephan Kitchovitch, Yuedong Song, Richard C. van ...
CDC
2008
IEEE
15 years 10 months ago
Shannon meets Bellman: Feature based Markovian models for detection and optimization
— The goal of this paper is to develop modeling techniques for complex systems for the purposes of control, estimation, and inference: (i) A new class of Hidden Markov Models is ...
Sean P. Meyn, George Mathew