8780 search results - page 272 / 1756 » On the Feasibility of Consistent Computations |
158
click to vote
ECOOPW
1999
Springer
15 years 11 months ago
1999
Springer
This paper reports the results of a workshop held at ECOOP’99. The workshop was set up to find answers to questions fundamental to the definition of a semantics for the Unifie...
173
click to vote
ICCS
1997
Springer
15 years 11 months ago
1997
Springer
Users need to be strongly involved in the specification process of network information systems. Characteristics of user-driven specification are described, and process composition ...
187
click to vote
DAC
1994
ACM
15 years 11 months ago
1994
ACM
Conformational analysis is the problem of nding all minimal energy three-dimensional con gurations of molecules. Cyclic structures are of particular interest. An ecient algorithm...
195
click to vote
DAGM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The measurement of fluid flows is an emerging field for optical flow computation. In a number of such applications, a tracer is visualized with modern digital cameras. Du...
200
click to vote
RTA
2010
Springer
15 years 11 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...