2766 search results - page 160 / 554 » Hybridizing a Logical Framework |
126
click to vote
TAL
2004
Springer
15 years 9 months ago
2004
Springer
In the current European scenario, characterized by the coexistence of communities writing and speaking a great variety of languages, machine translation has become a technology of ...
143
click to vote
TNN
1998
15 years 4 months ago
1998
— This paper proposes two hierarchical schemes for learning, one for clustering and the other for classification problems. Both schemes can be implemented on a fuzzy lattice neu...
161
click to vote
WOLLIC
2009
Springer
15 years 11 months ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
117
click to vote
ISCA
2005
IEEE
15 years 10 months ago
2005
IEEE
As chip densities and clock rates increase, processors are becoming more susceptible to transient faults that can affect program correctness. Up to now, system designers have prim...
179
click to vote
ISCA
2012
IEEE
13 years 6 months ago
2012
IEEE
Hybrid processors are HW/SW co-designed processors that leverage blocked-execution, the execution of regions of instructions as atomic blocks, to facilitate aggressive speculative...