Sciweavers

18429 search results - page 197 / 3686
» Typing dynamic typing
Sort
View
PLDI
2009
ACM
16 years 1 months ago
Typed self-representation
Self-representation – the ability to represent programs in their own language – has important applications in reflective languages and many other domains of programming langu...
Tillmann Rendel, Klaus Ostermann, Christian Hofer
CEC
2008
IEEE
16 years 1 months ago
Automatic model type selection with heterogeneous evolution: An application to RF circuit block modeling
— Many complex, real world phenomena are difficult to study directly using controlled experiments. Instead, the use of computer simulations has become commonplace as a cost effe...
Dirk Gorissen, Luciano De Tommasi, Jeroen Croon, T...
ICC
2007
IEEE
155views Communications» more  ICC 2007»
16 years 1 months ago
Automatic Digital Signal Types Recognition Using SI-NN and HOS
— Recognition of digital signal type is an important topic for various applications. In this paper a method is presented that identifies different types of digital signals. This ...
Ataollah Ebrahimzadeh, Mehrdad Ardebilipour, Alire...
182
Voted
IEEEIAS
2007
IEEE
16 years 1 months ago
Generative Models for Fingerprint Individuality using Ridge Types
Generative models of pattern individuality attempt to represent the distribution of observed quantitative features, e.g., by learning parameters from a database, and then use such...
Gang Fang, Sargur N. Srihari, Harish Srinivasan
CSL
2007
Springer
16 years 1 months ago
Typed Normal Form Bisimulation
Normal form bisimulation is a powerful theory of program equivalence, originally developed to characterize L´evy-Longo tree equivalence and Boehm tree equivalence. It has been ada...
Søren B. Lassen, Paul Blain Levy