3206 search results - page 456 / 642 » How minds can be computational systems |
168
click to vote
FORMATS
2009
Springer
15 years 10 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
152
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we introduce the logic asCSL, an extension of continuous stochastic logic (CSL), which provides powerful means to characterise execution paths of action- and state-l...
150
click to vote
AFRIGRAPH
2001
ACM
15 years 9 months ago
2001
ACM
Three dimensional computer reconstruction provides us with a means of visualising past environments, allowing us a glimpse of the past that might otherwise be difficult to appreci...
162
click to vote
POPL
1995
ACM
15 years 9 months ago
1995
ACM
Program slicing is a technique for isolating computational threads in programs. In this paper, we show how to mechanically extract a family of practical algorithms for computing s...
132
click to vote
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Precise evaluation of network appliance energy consumption is necessary to accurately model or simulate the power consumption of distributed systems. In this paper we ev...