611 search results - page 96 / 123 » Relative simulation and model checking of real-time processe... |
NECO
2007
13 years 8 months ago
2007
We propose a Markov process model for spike-frequency adapting neural ensembles which synthesizes existing mean-adaptation approaches, population density methods, and inhomogeneou...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
APCHI
1998
IEEE
14 years 1 months ago
1998
IEEE
When they encounter problems with a novel or infrequently performed task, experienced users often complete their work by referring to manuals and trying task-oriented exploration....
CGF
2011
13 years 3 months ago
2011
Motion blur is a fundamental cue in the perception of objects in motion. This phenomenon manifests as a visible trail along the trajectory of the object and is the result of the c...
IAT
2007
IEEE
14 years 3 months ago
2007
IEEE
Policy making is a multi-actor process: it involves a variety of actors, each trying to further their own interests. How these actors decide and act largely depends on the way the...