Sciweavers

1686 search results - page 177 / 338
» Higher Order Deforestation
Sort
View
TPHOL
2003
IEEE
15 years 10 months ago
Applications of Polytypism in Theorem Proving
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
Konrad Slind, Joe Hurd
WETICE
2003
IEEE
15 years 10 months ago
Using Design Rationales for Agile Documentation
Recently, Agile Software Processes have been discussed as flexible and light-weight alternatives to established Software Engineering approaches, in order to overcome the obstacles...
Thomas Sauer
AVBPA
2003
Springer
121views Biometrics» more  AVBPA 2003»
15 years 10 months ago
Enhanced VQ-Based Algorithms for Speech Independent Speaker Identification
Abstract. Weighted distance measure and discriminative training are two different approaches to enhance VQ-based solutions for speaker identification. To account for varying import...
Ningping Fan, Justinian P. Rosca
ISAAC
2003
Springer
144views Algorithms» more  ISAAC 2003»
15 years 10 months ago
Biconnectivity on Symbolically Represented Graphs: A Linear Solution
Abstract. We define an algorithm for determining, in a linear number of symbolic steps, the biconnected components of a graph implicitly represented with Ordered Binary Decision D...
Raffaella Gentilini, Alberto Policriti
DATE
2010
IEEE
180views Hardware» more  DATE 2010»
15 years 9 months ago
Integration, cooling and packaging issues for aerospace equipments
—Packaging becomes an important issue in aerospace equipments because of high integration and severe environmental constraints. In order to develop products which respond to the ...
Claude Sarno, C. Tantolin