19798 search results - page 321 / 3960 » Is Structural Subtyping Useful |
120
click to vote
ICDM
2005
IEEE
15 years 9 months ago
2005
IEEE
The most suitable method for the automated classification of protein structures remains an open problem in computational biology. In order to classify a protein structure with an...
95
Voted
GECCO
2003
Springer
15 years 8 months ago
2003
Springer
This paper presents a hypothesis about an undiscovered class of mechanisms that exist in standard GP. Rather than being intentionally designed, these mechanisms would be an uninten...
ISCAS
1999
IEEE
15 years 7 months ago
1999
IEEE
Multirate single-stage and multistage structures for highspeed recursive digital filtering are introduced. They can be used for arbitrary bandwidths and to increase the speed to a...
144
click to vote
DEXAW
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper, we demonstrate the use of the ESTEST system, which combines the data integration approach with techniques from Information Extraction in order to allow information ...
173
click to vote
LICS
1995
IEEE
15 years 6 months ago
1995
IEEE
We present new proofs of cut elimination for intuitionistic, classical, and linear sequent calculi. In all cases the proofs proceed by three nested structural inductions, avoiding...