Sciweavers

1137 search results - page 22 / 228
» Partial Program Admission
Sort
View
99
Voted
PEPM
1992
ACM
15 years 1 months ago
Self-applicable C Program Specialization
A partial evaluator is an automatic program transformation tool. Given as input a general program and part of its input, it can produce a specialized version. If the partial evalu...
Lars Ole Andersen
RTA
2005
Springer
15 years 3 months ago
Partial Inversion of Constructor Term Rewriting Systems
Abstract. Partial-inversion compilers generate programs which compute some unknown inputs of given programs from a given output and the rest of inputs whose values are already give...
Naoki Nishida, Masahiko Sakai, Toshiki Sakabe
97
Voted
PADO
2001
Springer
15 years 2 months ago
Implementing Circularity Using Partial Evaluation
Complex data dependencies can often be expressed concisely by defining a variable in terms of part of its own value. Such a circular reference can be naturally expressed in a lazy...
Julia L. Lawall
CVPR
2010
IEEE
15 years 6 months ago
Cascade Object Detection with Deformable Part Models
We describe a general method for building cascade classifiers from part-based deformable models such as pictorial structures. We focus primarily on the case of star-structured mod...
Pedro Felzenszwalb, Ross Girshick, David McAlleste...
JSYML
2000
56views more  JSYML 2000»
14 years 9 months ago
Computability over The Partial Continuous Functionals
We show that to every recursive total continuous functional there is a representative of in the hierearchy of partial continuous functionals such that is S1 - S9 computable ov...
Dag Normann