2529 search results - page 130 / 506 » The Logical Structure of Binding |
214
click to vote
BIRTHDAY
2010
Springer
15 years 8 months ago
2010
Springer
The question of whether there is a logic that captures polynomial time was formulated by Yuri Gurevich in 1988. It is still wide open and regarded as one of the main open problems...
162
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
This paper proposes a power-aware cache block allocation algorithm for the way-selective setassociative cache on embedded systems to reduce energy consumption without additional d...
161
click to vote
VTS
2006
IEEE
16 years 26 days ago
2006
IEEE
A new algorithm for identifying stuck faults in combinational circuits that cannot be detected by a given input sequence is presented. Other than pre and post-processing steps, ce...
191
click to vote
OWLED
2007
15 years 8 months ago
2007
: The mathematical nature of description logics has meant that domain experts find it hard to understand. This forms a significant impediment to the creation and adoption of ontolo...
332
click to vote
ACST
2006
15 years 8 months ago
2006
Including mathematical expressions in documents can be a tiresome and difficult process. A recognition system for handwritten mathematical expressions would greatly simplify the t...