3844 search results - page 60 / 769 » Modular interpreted systems |
105
click to vote
RTA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this paper we introduce a modular framework which allows to infer (feasible) upper bounds on the (derivational) complexity of term rewrite systems by combining differ...
126
click to vote
CC
2002
Springer
14 years 11 months ago
2002
Springer
Vmgen automates many of the tasks of writing the virtual machine part of an interpreter, resulting in less coding, debugging and maintenance e ort. This paper gives some quantitati...
CADE
1992
Springer
15 years 4 months ago
1992
Springer
The ability to use a polynomial iterpretation to prove termination of a rewrite system naturally prompts the question as to what restriction on complexity this imposes. The main r...
IJCAI
2001
15 years 1 months ago
2001
Many imaging systems seek a good interpretation of the scene presented -- i.e., a plausible (perhaps optimal) mapping from aspects of the scene to real-world objects. This paper a...
109
click to vote
KI
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. In mobile and ubiquitous computing, there is a strong need for supporting different users with different interests, needs, and demands. Activity recognition systems for c...