2152 search results - page 308 / 431 » On Automating the Calculus of Relations |
93
Voted
IANDC
2008
15 years 24 days ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
121
Voted
CAI
2006
Springer
15 years 24 days ago
2006
Springer
The number of news reports published online is now so great that it is impossible for any person to read all of them. Not all of these reports are equally interesting. Automating ...
128
Voted
IJNSEC
2008
15 years 22 days ago
2008
One of the biggest challenges facing digital investigators is the sheer volume of data that must be searched in locating the digital evidence. How to efficiently locate the eviden...
67
Voted
IJHR
2007
15 years 20 days ago
2007
: The paper analyzes some of Tesla's works and his most remarkable views concerning the problem of formulating theoretical bases of automatic control. As a tribute to Tesla�...
100
click to vote
VLSISP
2008
15 years 19 days ago
2008
The speedups and the energy reductions achieved in a generic single-chip microprocessor system by employing a high-performance data-path are presented. The data-path acts as a copr...