440 search results - page 31 / 88 » Local reasoning for abstraction and sharing |
205
click to vote
AFPAC
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Most of the processing in vision today uses spatially invariant operations. This gives efficient and compact computing structures, with the conventional convenient separa...
102
click to vote
CL
2008
Springer
15 years 2 months ago
2008
Springer
Component-orientedprogramming(COP)isactuallyakeyresearchtrackinsoftwareengineering.Avarietyofcomponent-oriented s (COLs) have been proposed with new or adapted abstractions and me...
MLDM
2001
Springer
15 years 6 months ago
2001
Springer
0 Temporal Abstractions and Case-Based Reasoning for Medical Course Data: Two Prognostic Applications R. Schmidt and R. Gierl University of Rostock, Germany 9.00-9.30 Local Learnin...
120
click to vote
BIBE
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract-- In eukaryotic cells, genomic DNAs wrap around beadlike molecules, called nucleosomes, so as to pack more compactly in the nucleus of the cell. The nucleosome is made up ...
116
click to vote
TCS
2008
15 years 1 months ago
2008
Intersection types are well-known to type theorists mainly for two reasons. Firstly, they type all and only the strongly normalizable lambda terms. Secondly, the intersection type...