1040 search results - page 118 / 208 » A Syntactical Approach to Revision |
ERSHOV
2009
Springer
14 years 3 months ago
2009
Springer
One of the applications of supercompilation is proving properties
of programs.We focus in this paper on a speci c task: proving term
equivalence for a higher-order lazy functiona...
MMM
2007
Springer
14 years 3 months ago
2007
Springer
This paper proposes an approach for retrieving videos based on object trajectories and subtrajectories. First, trajectories are segmented into subtrajectories according to the char...
GPCE
2007
Springer
14 years 3 months ago
2007
Springer
Templates are a very common solution to generate code. They are used for different tasks like rendering webpages, creating Java Beans and so on. Most template systems have no noti...
MKM
2007
Springer
14 years 3 months ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
SP
2005
IEEE
14 years 2 months ago
2005
IEEE
A malware detector is a system that attempts to determine whether a program has malicious intent. In order to evade detection, malware writers (hackers) frequently use obfuscation...