3394 search results - page 422 / 679 » A Modal Model of Memory |
185
click to vote
ICARIS
2004
Springer
16 years 20 hour ago
2004
Springer
Abstract. We present a swarm-based, 3-dimensional model of the human immune system and its response to first and second viral antigen exposure. Our model utilizes a decentralized ...
148
click to vote
COSIT
2009
Springer
15 years 11 months ago
2009
Springer
Named urban neighborhoods (localities) are often examples of vague place extents. These are compared with current knowledge of vagueness in concepts and categories within semantic ...
192
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
230
click to vote
VISUALIZATION
1994
IEEE
15 years 10 months ago
1994
IEEE
We describe a technique for achieving fast volume ray casting on parallel machines, using a load balancing scheme and an e cient pipelined approach to compositing. We propose a ne...
155
click to vote
CHI
1994
ACM
15 years 10 months ago
1994
ACM
This paper describes a model-based analysis of errors in expert use of graphical user interfaces. Two mechanisms, speed-accuracy tradeoffs and attention failures, were simulated b...