13734 search results - page 114 / 2747 » Abstractions of data types |
185
click to vote
TPHOL
2000
IEEE
15 years 10 months ago
2000
IEEE
Abstract. This paper presents proof terms for simply typed, intuitionistic higher order logic, a popular logical framework. Unification-based algorithms for the compression and re...
185
click to vote
CASC
2010
Springer
15 years 5 months ago
2010
Springer
Computer algebra in scientific computation squarely faces the dilemma of natural mathematical expression versus efficiency. While higher-order programming constructs and parametri...
149
click to vote
EUROPAR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present parallel algorithms for triangular periodic Sylvester-type matrix equations, conceptually being the third step of a periodic Bartels
176
click to vote
ICMCS
2006
IEEE
16 years 5 days ago
2006
IEEE
Content-based classification of audio data is an important problem for various applications such as overall analysis of audio-visual streams, boundary detection of video story se...
148
click to vote
DAWAK
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. From the point of view of a data warehouse system its part of collecting and receiving information from other systems is crucial for all subsequent business intelligence ...