33356 search results - page 217 / 6672 » Models of Continual Computation |
231
click to vote
APLAS
2001
ACM
15 years 10 months ago
2001
ACM
Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...
174
click to vote
SI3D
1995
ACM
15 years 10 months ago
1995
ACM
A system for controlling the behaviors of an interactive human-like agent, and executing them in real-time, is presented. It relies on an underlying model of continuous behavior, ...
157
click to vote
BMVC
1997
15 years 7 months ago
1997
A new geometrical approach in solving the shape from shading problem of Lambertian model is discussed. It is shown that this problem is bound by two local constraints through the ...
240
click to vote
IWQOS
2011
Springer
14 years 9 months ago
2011
Springer
—Quality-of-service (QoS) management often requires a continuous monitoring service to provide updated information about different hosts and network links in the managed system. ...
168
click to vote
EDOC
2005
IEEE
16 years 3 days ago
2005
IEEE
The management of IT landscapes consisting of thousands of business applications, different middleware systems, and supporting various business processes is a challenge for modern...