1097 search results - page 84 / 220 » Partial evaluation of Maple |
LCTRTS
1998
Springer
14 years 2 months ago
1998
Springer
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...
ICDAR
1997
IEEE
14 years 2 months ago
1997
IEEE
In this paper we present and discuss a novel approach to modeling logical structures of documents, based on a statistical representation of patterns in a document class. An effic...
LICS
1994
IEEE
14 years 2 months ago
1994
IEEE
Higher-order narrowing is a general method for higher-order equational reasoning and serves for instance as the foundation for the integration of functional and logic programming. ...
SAS
1994
Springer
14 years 2 months ago
1994
Springer
Abstract. Our aim is to study how the interpretive approach -- inserting an interpreter between a source program and a program specializer -- can be used to improve the transformat...
FPL
2009
Springer
14 years 2 months ago
2009
Springer
Preemptive multitasking, a popular technique for timesharing of computational resources in software-based systems, faces considerable difficulties when applied to partially reconf...