5377 search results - page 747 / 1076 » Programming Languages For Interactive Computing |
121
Voted
SCAM
2002
IEEE
15 years 9 months ago
2002
IEEE
Tools that analyze and enhance large-scale software systems using symbolic reasoning are computationally expensive, and yet processors are cheap. We believe that enabling tools wi...
114
click to vote
ACISICIS
2009
IEEE
15 years 9 months ago
2009
IEEE
Grammars, especially context-free grammars, are widely used within and even outside the field of computer science. In this paper, we present a systematic framework for grammar te...
117
click to vote
LICS
1997
IEEE
15 years 8 months ago
1997
IEEE
The partial real line is the continuous domain of compact real intervals ordered by reverse inclusion. The idea is that singleton intervals represent total real numbers, and that ...
156
Voted
CAISE
1995
Springer
15 years 8 months ago
1995
Springer
In this work we discuss a number of issues for the design of hypertext systems in an actor-based model of computation. We examine how the "traditional" basic concepts whi...
142
click to vote
AUTOMATICA
2006
15 years 4 months ago
2006
In this paper we show that the problem of optimal mine planning can be cast in the framework of receding horizon control. Traditional formulations of this problem have cast it in ...