Sciweavers

15840 search results - page 2570 / 3168
» The Control of Synchronous Systems
Sort
View
TACAS
1998
Springer
131views Algorithms» more  TACAS 1998»
15 years 11 months ago
Detecting Races in Relay Ladder Logic Programs
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL...
Alexander Aiken, Manuel Fähndrich, Zhendong S...
210
Voted
SIGMOD
1997
ACM
159views Database» more  SIGMOD 1997»
15 years 11 months ago
On-Line Warehouse View Maintenance
Data warehouses store materialized views over base data from external sources. Clients typically perform complex read-only queries on the views. The views are refreshed periodical...
Dallan Quass, Jennifer Widom
DCC
1996
IEEE
15 years 11 months ago
Pattern-based Compression of Text Images
We suggest a novel approach for compressing images of text documents based on building up a simple derived font from patterns in the image, and present the results of a prototype ...
Andrei Z. Broder, Michael Mitzenmacher
FGR
1996
IEEE
159views Biometrics» more  FGR 1996»
15 years 11 months ago
Visual Interaction With Lifelike Characters
This paper explores the use of fast, simple computer vision techniques to add compelling visual capabilities to social user interfaces. Social interfaces involve the user in natur...
Matthew Turk
ICCAD
1996
IEEE
92views Hardware» more  ICCAD 1996»
15 years 11 months ago
Generation of BDDs from hardware algorithm descriptions
We propose a new method for generating BDDs from hardware algorithm descriptions written in a programming language. Our system can deal with control structures, such as conditiona...
Shin-ichi Minato
« Prev « First page 2570 / 3168 Last » Next »