Sciweavers

3110 search results - page 513 / 622
» On the initialization of the DNMF algorithm
Sort
View
CHARME
1995
Springer
120views Hardware» more  CHARME 1995»
15 years 8 months ago
Timing analysis of asynchronous circuits using timed automata
In this paper we present a method formodeling asynchronous digital circuits by timed automata. The constructed timed automata serve as \mechanical" and veri able objects for a...
Oded Maler, Amir Pnueli
ICCAD
1995
IEEE
113views Hardware» more  ICCAD 1995»
15 years 8 months ago
Logic decomposition during technology mapping
—A problem in technology mapping is that the quality of the final implementation depends significantly on the initially provided circuit structure. This problem is critical, es...
Eric Lehman, Yosinori Watanabe, Joel Grodstein, He...
SI3D
1995
ACM
15 years 8 months ago
RING: A Client-Server System for Multi-User Virtual Environments
This paper describes the client-server design, implementation and experimental results for a system that supports real-time visual interaction between a large number of users in a...
Thomas A. Funkhouser
VLDB
1991
ACM
81views Database» more  VLDB 1991»
15 years 8 months ago
On Maintaining Priorities in a Production Rule System
We present a priority system which is particularly suited for production rules coupled to databases. In this system, there are default priorities between all rules and overriding ...
Rakesh Agrawal, Roberta Cochrane, Bruce G. Lindsay
ICPR
2010
IEEE
15 years 8 months ago
Vehicle Recognition As Changes in Satellite Imagery
Over the last several years, a new probabilistic representation for 3-d volumetric modeling has been developed. The main purpose of the model is to detect deviations from the norm...
Ozge Can Ozcanli, Joseph Mundy