2595 search results - page 318 / 519 » Modes in Asynchronous Systems |
188
click to vote
LPAR
2001
Springer
15 years 11 months ago
2001
Springer
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...
170
click to vote
SSIAI
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we introduce a Hybrid Hidden Markov Model (HMM) face recognition system. The proposed system contains a low-complexity 2-D HMM-based face recognition (LC 2D-HMM FR)...
170
click to vote
FPGA
1999
ACM
15 years 11 months ago
1999
ACM
The Embedded System Block (ESB) of the APEX20K programmable logic device family from Altera Corporation includes the capability of implementing product term macrocells in addition...
171
click to vote
ECBS
2009
IEEE
15 years 10 months ago
2009
IEEE
We present and formalize concepts for the structured specification of system behavior based on services. Services are patterns of interaction between reactive components, thus sup...
170
click to vote
ARC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper presents a novel dynamically reconfigurable hardware architecture for lossless compression and its optimization for space imagery. The proposed system makes us...