1536 search results - page 124 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
134
click to vote
DSRT
2009
IEEE
14 years 7 months ago
2009
IEEE
Predicting latency between nodes on the internet can have a significant impact on the performance of many services that use latency distances among nodes as a decision making input...
88
Voted
FLAIRS
2003
14 years 11 months ago
2003
We have developed a model-based, distributed architecture that integrates diverse components in a system designed for lunar and planetary surface operations: an astronaut’s spac...
USAB
2008
14 years 11 months ago
2008
The present study examines the relative importance of a series of known and expected factors that highly affect threat detection performance in aviation security X-ray screening. E...
BIOINFORMATICS
2007
14 years 10 months ago
2007
Motivation: High-throughput expression profiling allows researchers to study gene activities globally. Genes with similar expression profiles are likely to encode proteins that ma...
76
Voted
AGENTS
2000
Springer
15 years 1 months ago
2000
Springer
A crowd is not only a group of many individuals. Crowd modelling involves problems that arise only when we focus on crowds. For instance, avoiding collision problems related to a ...