Sciweavers

4529 search results - page 709 / 906
» Position Based Cryptography
Sort
View
ICRE
1996
IEEE
15 years 10 months ago
A facilitator method for upstream design activities with diverse stakeholders
This paper presents a method that can be used for the elicitation and speci cation of requirements and high-level design. It supports stakeholder-based modeling, rapid feasibility...
Regina M. Gonzales, Alexander L. Wolf
DAC
1996
ACM
15 years 10 months ago
Modeling the Effects of Temporal Proximity of Input Transitions on Gate Propagation Delay and Transition Time
: While delay modeling of gates with a single switching input has received considerable attention, the case of multiple inputs switching in close temporal proximity is just beginni...
V. Chandramouli, Karem A. Sakallah
LPKR
1997
Springer
15 years 10 months ago
A System for Abductive Learning of Logic Programs
We present the system LAP (Learning Abductive Programs) that is able to learn abductive logic programs from examples and from a background abductive theory. A new type of induction...
Evelina Lamma, Paola Mello, Michela Milano, Fabriz...
ICRA
1994
IEEE
90views Robotics» more  ICRA 1994»
15 years 10 months ago
Pursuing Projections: Keeping a Robot on Path
For an autonomous robot navigating in an unstructured outdoor environment, staying close to a path is crucial to successfully reaching its goal. Although the degree of accuracy wi...
Karen T. Sutherland, William B. Thompson
ISCAS
1994
IEEE
138views Hardware» more  ISCAS 1994»
15 years 10 months ago
High-Throughput Data Compressor Designs Using Content Addressable Memory
This paper presents a novel VLSI architecture for high-speed data compressor designs which implement the well-known LZ77 algorithm. The architecture mainly consists of three units...
Ren-Yang Yang, Chen-Yi Lee