4480 search results - page 16 / 896 » Prototyping Completion with Constraints Using Computational ... |
117
click to vote
WADT
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
128
click to vote
DATE
1997
IEEE
15 years 7 months ago
1997
IEEE
In modern computer systems the performance is dominated by the memory performance. Currently, there is neither a systematic design methodology nor a tool for the design of memory ...
142
click to vote
DLOG
2003
15 years 4 months ago
2003
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
121
click to vote
ICPR
2000
IEEE
15 years 7 months ago
2000
IEEE
JKanji is an interactive character completion system that provides stroke-order-independent recognition of complex hand-written glyphs such as Japanese kanji or Chinese hanzi. As ...
182
click to vote
HPCA
2002
IEEE
16 years 3 months ago
2002
IEEE
Power dissipation has become one of the most critical factors for the continued development of both high-end and low-end computer systems. The successful design and evaluation of ...