3001 search results - page 75 / 601 » Recursive type generativity |
HT
2007
ACM
15 years 3 months ago
2007
ACM
This paper treats web generators as a form of online hypertext and provides a taxonomy of some of the most popular generator types. It also characterizes the ideology of part...
ICPR
2006
IEEE
16 years 1 months ago
2006
IEEE
A novel background generation method based on nonparametric background model is presented for background subtraction. We introduce a new model, named as effect components descript...
ICCAD
2002
IEEE
15 years 8 months ago
2002
IEEE
This work presents several new techniques for enhancing the performance of deterministic test pattern generation for VLSI circuits. The techniques introduced are called dynamic de...
CORR
1999
Springer
14 years 11 months ago
1999
Springer
We describe a method for automatically generating Lexical Transfer Rules (LTRs) from word equivalences using transfer rule templates. Templates are skeletal LTRs, unspecified for ...
SAS
2005
Springer
15 years 5 months ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...