2694 search results - page 215 / 539 » A Description Logic of Change |
151
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
During code review tasks, comparing two versions of a hardware design description using existing program differencing tools such as diff is inherently limited because existing p...
168
click to vote
FPGA
2005
ACM
16 years 4 days ago
2005
ACM
We present an automatic logic synthesis method targeted for highperformance asynchronous FPGA (AFPGA) architectures. Our method transforms sequential programs as well as high-leve...
145
click to vote
SEMWEB
2005
Springer
16 years 2 days ago
2005
Springer
There has been considerable debate as to the merits and the applicability of probabilistic or statistical reasoning to Semantic Web. Much of this debate seems to have centered on ...
164
click to vote
TEAA
2005
Springer
16 years 2 days ago
2005
Springer
Enterprise systems are mission critical. As a result, ensuring their correctness is of primary concern. This paper aids to the analysis of Web Applications, focusing on the aspects...
216
click to vote
KES
2004
Springer
15 years 12 months ago
2004
Springer
The main challenge in handwritten character recognition involves the development of a method that can generate descriptions of the handwritten objects in a short period of time. Du...