555 search results - page 99 / 111 » Linear decomposition algorithm for VLSI design applications |
ERSA
2006
14 years 11 months ago
2006
Floating-point summation is one of the most important operations in scientific/numerical computing applications and also a basic subroutine (SUM) in BLAS (Basic Linear Algebra Sub...
106
click to vote
TKDE
2008
14 years 9 months ago
2008
One of the fundamental problems in Content-Based Image Retrieval (CBIR) has been the gap between low-level visual features and high-level semantic concepts. To narrow down this gap...
ICFP
2008
ACM
15 years 9 months ago
2008
ACM
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...
TACAS
2009
Springer
15 years 4 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
IROS
2007
IEEE
15 years 4 months ago
2007
IEEE
— Due to their panoramic field of view, catadioptric cameras are becoming ubiquitous in many robotics and computer vision applications. Catadioptric cameras with a unique viewpo...