4763 search results - page 836 / 953 » On the Execution of Deep Models |
162
click to vote
DALT
2006
Springer
15 years 10 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
180
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
Querying live media streams is a challenging problem that becomes an essential requirement in a growing number of applications. We address the problem of evaluating continuous quer...
151
click to vote
ESAW
2006
Springer
15 years 10 months ago
2006
Springer
Ad hoc networks are a type of computational system whose members may fail to, or choose not to, comply with the laws governing their behaviour. We are investigating to what extent ...
175
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...
157
click to vote
ESTIMEDIA
2006
Springer
15 years 10 months ago
2006
Springer
Increasingly more MPSoC platforms are being developed to meet the rising demands from concurrently executing applications. These systems are often heterogeneous with the use of de...