Sciweavers

2583 search results - page 166 / 517
» On the Representation of Timed Polyhedra
Sort
View
IWANN
2001
Springer
15 years 11 months ago
Image Quality Enhancement for Liquid Bridge Parameter Estimation with DTCNN
This work present the use of a neural structure to augment the quality of noisy images of liquid bridges to obtain a clear representation of its border in order to determine the ac...
Miguel A. Jaramillo Morán, J. Álvaro...
ISMVL
1999
IEEE
133views Hardware» more  ISMVL 1999»
15 years 10 months ago
Ternary Multiplication Circuits Using 4-Input Adder Cells and Carry Look-Ahead
We introduce a new implementation of a ternary adder with four inputs and two outputs. This ternary adder reduces the number of digits in a multiplication compared with a binary m...
Andreas Herrfeld, Siegbert Hentschke
ICALP
1994
Springer
15 years 10 months ago
Simple Fast Parallel Hashing
A hash table is a representation of a set in a linear size data structure that supports constanttime membership queries. We show how to construct a hash table for any given set of...
Joseph Gil, Yossi Matias
APLAS
2006
ACM
15 years 10 months ago
Combining Offline and Online Optimizations: Register Allocation and Method Inlining
Abstract. Fast dynamic compilers trade code quality for short compilation time in order to balance application performance and startup time. This paper investigates the interplay o...
Hiroshi Yamauchi, Jan Vitek
AGP
2003
IEEE
15 years 10 months ago
Using dynamic logic programming to model legal reasoning
Dynamic logic programming allows the representation and the inference of evolving knowledge. Legal knowledge reasoning needs the capability to model laws that change over time and ...
N. Graca, Paulo Quaresma