7580 search results - page 183 / 1516 » Prometheus design tool |
138
click to vote
ICMCS
1999
IEEE
15 years 8 months ago
1999
IEEE
We describe the design and evaluation of CamWorks, a system that employs a video camera as a means of supporting capture from paper sources during reading and writing. The user ca...
131
click to vote
INFOVIS
1999
IEEE
15 years 8 months ago
1999
IEEE
ct Constellation is a visualization system for the results of queries from the MindNet natural language semantic network. Constellation is targeted at helping MindNet's creato...
139
click to vote
DAC
1997
ACM
15 years 8 months ago
1997
ACM
Multi-threshold CMOS is an increasingly popular circuit approach that enables high performance and low power operation. However, no methodologies have been developed to size the h...
157
click to vote
CCL
1994
Springer
15 years 8 months ago
1994
Springer
Abstract: This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with ef...
128
Voted
APN
2003
Springer
15 years 7 months ago
2003
Springer
The Petri Net Markup Language (PNML) is an XML-based interchange format for Petri nets. In order to support different versions of Petri nets and, in particular, future versions of ...