1090 search results - page 21 / 218 » Resource-Bounded Partial Evaluation |
CSUR
1998
14 years 9 months ago
1998
69
Voted
TOPLAS
1998
14 years 9 months ago
1998
RV
2010
Springer
14 years 8 months ago
2010
Springer
Researchers have developed a number of runtime verification tools that generate runtime monitors in the form of AspectJ aspects. In this work, we present Clara, a novel framework ...
119
click to vote
CORR
2004
Springer
14 years 9 months ago
2004
Springer
Many functional logic languages are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction mechanism of functional languages and the resolutio...
PAMI
2012
13 years 4 days ago
2012
—Pedestrian detection is a key problem in computer vision, with several applications that have the potential to positively impact quality of life. In recent years, the number of ...