5122 search results - page 675 / 1025 » Comparing Consequence Relations |
150
click to vote
APN
2007
Springer
16 years 29 days ago
2007
Springer
This paper presents the ComBack method for explicit state space exploration. The ComBack method extends the well-known hash compaction method such that full coverage of the state s...
177
click to vote
ATAL
2007
Springer
16 years 29 days ago
2007
Springer
The ambitious goal of transfer learning is to accelerate learning on a target task after training on a different, but related, source task. While many past transfer methods have f...
171
click to vote
BIRD
2007
Springer
16 years 29 days ago
2007
Springer
More and more proteins have been observed to display functions through intrinsic disorder. Such structurally flexible regions are shown to play important roles in biological proces...
165
click to vote
CASC
2007
Springer
16 years 29 days ago
2007
Springer
We introduce the concept of comprehensive triangular decomposition (CTD) for a parametric polynomial system F with coefficients in a field. In broad words, this is a finite part...
184
click to vote
CICLING
2007
Springer
16 years 29 days ago
2007
Springer
Finite-state technology is considered the preferred model for representing the phonology and morphology of natural languages. The attractiveness of this technology for natural lang...