989 search results - page 28 / 198 » Dynamic Symmetry Reduction |
132
click to vote
ACL
2007
15 years 5 months ago
2007
In this paper we present methods for improving the disambiguation of noun phrase (NP) coordination within the framework of a lexicalised history-based parsing model. As well as re...
141
Voted
JSAT
2008
15 years 3 months ago
2008
In this paper, we consider the problem of classifying Hamiltonian cycles in a binary hypercube. Previous work proposed a classification of these cycles using the edge representati...
104
Voted
ETS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper summarizes advanced test patterns designed to target dynamic and time-related faults caused by new defect mechanisms in deep-submicron memory technologies. Such tests a...
157
click to vote
ISCAS
1999
IEEE
15 years 8 months ago
1999
IEEE
The energy usage of computer systems is becoming important, especially for portablebattery-operated applications and embedded systems. A significant reduction in the energy consum...
160
Voted
PPDP
2004
Springer
15 years 9 months ago
2004
Springer
We investigate some fundamental properties of the reduction relation in the untyped term calculus derived from Curien and Herbelin’s λµµ. The original λµµ has a system of ...