2290 search results - page 287 / 458 » Extensible Protected Types |
185
click to vote
CI
2004
15 years 6 months ago
2004
This paper shows how action theories, expressed in an extended version of the language B, can be naturally encoded using Prioritized Default Theory. We also show how prioritized d...
174
click to vote
CACM
2000
15 years 6 months ago
2000
Class Hierarchies, Factories, and Stable Designs M uch of the debate about the general aptness of class hierarchies is rooted in the different objectives taxonomists and implemente...
175
click to vote
ML
2002
ACM
15 years 6 months ago
2002
ACM
Matching Pursuit algorithms learn a function that is a weighted sum of basis functions, by sequentially appending functions to an initially empty basis, to approximate a target fu...
154
click to vote
TVLSI
2002
15 years 6 months ago
2002
This paper presents an irredundant encoding technique to minimize the switching activity on a multiplexed Dynamic RAM (DRAM) address bus. The DRAM switching activity can be classif...
155
click to vote
PVLDB
2010
15 years 4 months ago
2010
There are many academic and commercial stream processing engines (SPEs) today, each of them with its own execution semantics. This variation may lead to seemingly inexplicable di�...