33356 search results - page 1 / 6672 » Models of Continual Computation |
IWFM
2003
13 years 6 months ago
2003
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
IAT
2010
IEEE
13 years 2 months ago
2010
IEEE
Economic models are found efficient in managing heterogeneous computer resources such as storage, CPU and memory for grid computing. Commodity market, double auction and contract-n...
AAAI
1997
13 years 6 months ago
1997
Automated problem solving is viewed typically as the expenditure of computation to solve one or more problems passed to a reasoning system. In response to each problem received, e...
ICCV
2005
IEEE
14 years 6 months ago
2005
IEEE
CMSB
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Starting from a biochemical signalling pathway model expressed in a process algebra enriched with quantitative information we automatically derive both continuous-space a...