Sciweavers

2779 search results - page 259 / 556
» Modelling Immunological Memory
Sort
View
BC
2007
62views more  BC 2007»
15 years 4 months ago
A quantitative synchronization model for smooth pursuit target tracking
We propose a quantitative model for human smooth pursuit tracking of a continuously moving visual target which is based on synchronization of an internal expectancy model of the ta...
Henning U. Voss, Bruce D. McCandliss, Jamshid Ghaj...
TSE
2011
214views more  TSE 2011»
14 years 11 months ago
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
Moonzoo Kim, Yunho Kim, Hotae Kim
DCC
2003
IEEE
16 years 4 months ago
Compression-Domain Editing of 3D Models
3D models have become an essential element of multimedia applications because they provide visual effects that permit interactive exploration. As in other media types, efficient c...
Tulika Mitra, Tzi-cker Chiueh
QOFIS
2004
Springer
15 years 9 months ago
Cross-Layer Analytical Modeling of Wireless Channels for Accurate Performance Evaluation
Abstract. An intention to adopt IP protocol for future mobile communication and subsequent extension of Internet services to the air interface calls for advanced performance modeli...
Dmitri Moltchanov, Yevgeni Koucheryavy, Jarmo Harj...
ENTCS
2007
99views more  ENTCS 2007»
15 years 4 months ago
Extending Symmetry Reduction Techniques to a Realistic Model of Computation
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
Alastair F. Donaldson, Alice Miller